다음 논리식 중 드모르간의 정리를 나타낸 것은? | [임베디드기능사 필기] 12년 3회차 기출문제 상세 페이지

정답은 합 전체의 부정을 각 변수 부정의 곱으로 바꾼 식, 즉 $\overline{A+B}=\overline{A}\cdot\overline{B}$이다.
드모르간의 정리 가운데 합의 부정에 관한 식은 $\overline{A+B}=\overline{A}\cdot\overline{B}$이다. 우변은 A와 B에 부정 막대가 하나씩 따로 있는 두 부정의 곱이다.
$\overline{A+B}=\overline{AB}$ 식은 우변이 곱 $AB$ 전체의 부정이고, $A=1,\ B=0$이면 좌변은 0, 우변은 1이다.
$\overline{A+B}=\overline{\overline{A}}\cdot\overline{\overline{B}}$ 식은 A, B에 부정 막대가 두 개씩 있고 우변이 $AB$와 같다. $A=B=1$이면 좌변은 0, 우변은 1이다.
$\overline{A+B}=\overline{\overline{A+B}}$ 식은 우변이 $A+B$ 전체에 부정 막대가 두 개 있고 $A+B$와 같다. $A=B=0$이면 좌변은 1, 우변은 0이다.