드모르간 법칙

드모르간 법칙(DE Morgan's laws)이란?

'각 조건을 부정하고 논리곱을 논리합으로, 논리합을 논리곱으로 바꾸고 다시 전체를 부정하면 원래의 조건과 같다' 라는 뜻이다.

 

1. x && y 와 !(!x || !y)는 동일하다.

2. x || y와 !(!x && !y)는 동일하다.