다음 디지털 논리회로에서 입력신호 A, B에 대한 출력 C의 논리식을 간소화한 것은? 상세 페이지

이 회로의 출력을 정리하면 A와 B에 각각 부정을 씌워 OR로 묶은 식, 즉 $\bar{A}+\bar{B}$ 가 된다.
회로도를 보면 A와 B가 위쪽 AND 게이트로 들어가고, 같은 A와 B가 아래쪽 OR 게이트로도 들어간다. 두 게이트의 출력은 맨 오른쪽 게이트(출력 쪽에 부정 원이 붙은 AND, 곧 NAND)의 두 입력이 되므로 $C=\overline{(A\cdot B)\cdot(A+B)}$ 이다.
흡수법칙에 의해 $(A\cdot B)\cdot(A+B)=A\cdot B$ 이므로 $C=\overline{A\cdot B}$ 가 되고, 여기에 드모르간 법칙을 적용하면 $C=\bar{A}+\bar{B}$ 로 간소화된다.
실제로 A=B=1일 때만 출력이 0이고 나머지 입력 조합에서는 모두 1이 되는데, 부정 없이 A+B로 쓴 식이나 한쪽 변수에만 부정을 씌운 식은 이 진리표를 만족하지 못한다.