\overline{A} + \overline{B} \cdot \over… | [전기공사기사 필기] 21년 1회차 기출문제 상세 페이지

주어진 논리식은 A̅ + B̅·C̅ 로, 부정 막대가 A, B, C 각각에 개별로 걸려 있다. 먼저 뒤쪽 항에 드모르간의 정리를 적용하면 B̅·C̅ = (B + C)‾ 이므로 식은 A̅ + (B + C)‾ 로 정리된다.
이제 X = A, Y = B + C 로 두면 식은 X̅ + Y̅ 형태다. 여기에 드모르간의 정리 X̅ + Y̅ = (X·Y)‾ 를 다시 적용하면 (A·(B + C))‾ 를 얻는다. 즉 A의 부정과 (B+C)의 부정을 OR 한 결과는, A와 (B+C)를 AND 한 결과 전체를 부정한 것과 같다.
검산해 보면 (A·(B+C))‾ = A̅ + (B+C)‾ = A̅ + B̅·C̅ 로 원식으로 되돌아온다. 반면 A + B·C 전체를 부정하면 A̅·(B̅+C̅) 가 되고, A·B + C 전체를 부정하면 (A̅+B̅)·C̅ 가 되어 원식과 일치하지 않는다.