|
<gallery>
Image:Venn-Diagram-NOT-P.png|한쪽의 논리 부정 (NOT-P) <math>\neg P</math>혹은 <math>\overline{P}</math>
Im
Image:Venn-Diagram-NOT-Q.png|다른 한쪽의 논리 부정 (NOT-Q) <math>\neg Q</math>혹은<math>\overline{Q}</math>
Image:Venn-Diagram-NOR.png|부정 두 개의 논리곱<math>\neg P \land \neg Q</math>혹은 <math>\overline{P} \cap \overline{Q}</math>
</gallery>
여기에는 두 명제나 집합에 대한 법칙을 말하고 있지만, 더 많은 명제에서도 동일한 법칙이 성립한다. [[여집합]]의 기록을 참조할 것.
=== 논리 회로에서의 드 모르간의 법칙 ===
아래 공식에서 *는 AND 연산자를, +는 OR 연산자를 뜻한다.
: <math>\overline{(A + B)} = \overline{A} * \overline{B}</math>
: <math>\overline{(A * B)} = \overline{A} + \overline{B}</math>
=== 예시 ===
「내 키는 160 cm 이상이고, 몸무게는 50 kg 이상」의 부정은
「내 키는 160 cm 미만이고, 몸무게는 50 kg 미만」이 아니다.
드 모르간의 법칙에 따르면 「내 키는 160 cm 미만이거나, 몸무게는 50 kg 미만」이다.
같은 식으로,
「이 공은 파랗거나, 빨갛다.」
의 부정은
「이 공은 파랗지도, 빨갛지도 않다.」
가 된다.
| 