📒 갈무리 - 드모르간 법칙

📌 드모르간 법칙이란?

- 논리학과 수학의 법칙 중 하나이다.

- 논리 연산에서 논리합은 논리곱과 부정기호로, 논리곱은 논리합과 부정기호로 표현할 수 있음을 가리키는 법칙

 

not (A or B) = (not A) and (not B)

not (A and B) = (not A) or (not B)

- 논리곱(합)의 부정은 각각 부정의 논리합(곱)과 같다는 법칙

출처: https://namu.wiki/w/%EB%93%9C%EB%AA%A8%EB%A5%B4%EA%B0%84%20%EB%B2%95%EC%B9%99

📌 프로그래밍에서의 드모르간 법칙

#include <iostream>

using namespace std;

int main()
{
	bool a = false;
	bool b = false;

	// 두 if문은 a와 b가 모두 false일 때 참
	if (!(a || b))
	{
		cout << "논리연산1" << endl;
	}
	if (!a && !b)
	{
		cout << "논리연산2" << endl;
	}
}

Output:
논리연산1
논리연산2

#include <iostream>

using namespace std;

int main()
{
	bool a = true;
	bool b = true;

	// 두 if문은 a와 b가 모두 true일 때만 거짓
	if (!(a && b))
	{
		cout << "논리연산1" << endl;
	}
	if (!a || !b)
	{
		cout << "논리연산2" << endl;
	}
}

Output:

💡 TIP

머릿속에서 벤 다이어그램을 상상해 보며 고민해 보자.