드 모르간(De-Morgan)의 법칙이란?

드 모르간의 법칙

AND 연산과 OR 연산을 서로 바꾸고, 각 변수의 보수(부정)을 취합니다. 집합론에도 적용된다.

 

드 모르간의 제 1법칙

A X B의 보수를 취한 것이 A의 보수와 B의 보수를 합한 것과 같다.

 

드 모르간의 제 2법칙

A + B의 보수를 취한 것이 A의 보수와 B의 보수를 곱한 것과 같다.

 

전자회로에서의 응용

전자회로에도 동일하게 적용이 가능하다.

 

드모르간 법칙의 증명

 

예제

// 해당 조건을 아래의 조건으로 변경이 가능하다. 드모르간의 법칙 적용
if (m_width == width || m_height == height) return true;

if (m_width != width && m_height != height) return false;

 

함께 읽으면 좋은 글

집합 기호와 명제 기호 간의 상호번역

 

출처

[이산수학]드 모르간(De-Morgan) 법칙이란?