다음 중 드모르간(De Morgan)의 정리를 옳게 나타낸 것은? | [정보통신기사 필기] 17년 1회차 기출문제 상세 페이지

드모르간의 정리를 바르게 적은 것은 $\overline{A+B}=\overline{A}\cdot\overline{B}$이다.
이 정리는 합의 부정은 부정의 곱, 곱의 부정은 부정의 합이라는 두 쌍으로 이루어지며 $\overline{A\cdot B}=\overline{A}+\overline{B}$도 함께 성립한다. 전체에 걸린 부정 막대를 각 변수로 나누어 씌우면서 AND와 OR를 서로 바꾸는 것이 핵심이다.
A=0, B=1을 넣어 보면 $\overline{A+B}=\overline{1}=0$이고 $\overline{A}\cdot\overline{B}=1\cdot 0=0$으로 값이 맞는다. 반면 부정 막대를 한쪽 변수에만 씌운 식, 막대를 나눠 씌우면서 연산자를 그대로 OR로 둔 식, 막대 없이 합을 곱으로 바꾼 식은 같은 대입에서 값이 어긋난다.