드모르간의 정리를 나타낸 식은? | [전기공사기사 필기] 17년 1회차 기출문제 상세 페이지

드모르간의 정리는 논리합·논리곱 전체에 걸린 부정을 각 변수의 부정으로 풀어 쓰는 규칙이며, 두 형태가 짝을 이룬다.
합의 부정은 곱으로 바뀌어 (A + B) 전체의 부정 = (A의 부정)·(B의 부정) 이 되고, 곱의 부정은 합으로 바뀌어 (A·B) 전체의 부정 = (A의 부정) + (B의 부정) 이 된다. 핵심은 부정 기호를 각 변수로 내리면서 + 와 · 를 서로 바꾼다는 것이다.
따라서 보기 중 A + B 전체의 부정이 Ā 와 B̄ 의 곱과 같다고 쓴 식이 드모르간의 정리에 해당한다. 부정을 내리면서 연산자를 그대로 두어 Ā + B̄ 로 쓰거나, 곱의 부정을 다시 곱으로 둔 식, 우변 변수에 부정 기호를 빼놓은 식은 모두 성립하지 않는다.