ド・モルガンの法則は、19世紀のイギリスの数学者オーガスタス・ド・モルガンによって定式化された、論理学および集合論における基本定理の一つです。この法則は数式で表すとより明確になります。論理否定を「NOT」、論理積を「AND」、論理和を「OR」とした場合、以下の2つの等式が成り立ちます。

1. NOT (A AND B) ＝ (NOT A) OR (NOT B)
2. NOT (A OR B) ＝ (NOT A) AND (NOT B)