드모르간 법칙

드모르간 법칙(De Morgan's laws)은 '각 조건을 부정하고 논리곱(&&)을 논리합(||)으로, 논리합을 논리곱으로 바꾸고 다시 전체를 부정하면, 원래의 조건과 같다.'라는 것이다.

 예시는 다음과 같다.

 

 1. x && y

    1) 각 조건 부정 : x && y  >   !x && !y

    2) 논리연산자 반전 : !x && !y > !x || !y

    3)  전체 부정 : !x || !y > !(!x || !y)

  따라서 x && y == !(!x || !y) 이다.

 

 2. x || y

    1) 각 조건 부정 : x || y  >   !x || !y

    2) 논리연산자 반전 : !x || !y > !x && !y

    3)  전체 부정 : !x && !y > !(!x && !y)

  따라서 x || y == !(!x && !y) 이다.