드모르간의 정리에서 와 같은 논리식은? | [정보통신기능사 필기] 08년 1회차 기출문제 상세 페이지

정답은 A와 B 위에 부정 막대를 따로 긋고 곱(·)으로 묶은 식, 즉 $\overline{A}\cdot\overline{B}$이다.
그림 속 식은 A와 B의 합 전체 위에 부정 막대가 그어진 $\overline{A+B}$이다. 드모르간의 정리는 합 전체의 부정을 각 변수 부정의 곱으로 바꾸며, $\overline{A+B}=\overline{A}\cdot\overline{B}$이다.
진리표로 확인하면 두 식 모두 $A=B=0$일 때만 1이고, 나머지 세 입력 조합에서는 0이다.
'AㆍB'는 부정 막대가 없는 AND 식이며, 출력 1은 두 입력이 모두 1인 조합에서 나오고 합의 부정의 출력 1은 두 입력이 모두 0인 조합에서 나온다.
곱 전체 위에 부정 막대 하나를 그은 식은 NAND 식 $\overline{A\cdot B}$이고, $A=1,\ B=0$에서 1을 내지만 원래 식은 같은 입력에서 0이다.
각 변수 위에 부정 막대를 따로 긋고 합(+)으로 묶은 식은 곱의 부정을 드모르간의 정리로 전개한 형태($\overline{A}+\overline{B}=\overline{A\cdot B}$)이며, 합의 부정과는 입력 하나만 1인 조합에서 값이 갈린다.