드모르간의 정리는 합의 보수는 보수의 곱, 곱의 보수는 보수의 합이 된다는 것이다. A+B=A⋅B, A⋅B=A+B 진리표로 확인해 보면 A=0,B=1 일 때 A+B=1=0 이고 A⋅B=1⋅0=0 으로 서로 같다. 반면 같은 대입에서 A+B=1+0=1 이므로 A+B=A+B 는 성립하지 않는다. 또 A⋅B=0 이라 A⋅B=1 인데 A⋅B=0 이므로 A⋅B=A⋅B 도 성립하지 않는다. 부정 기호를 나눠 씌울 때 연산자가 함께 바뀐다는 것이 이 정리의 핵심이다.
내용에 오류가 있거나 최신 법령·기준과 다른 부분이 보이면 알려주세요. 확인 후 반영하겠습니다.