集合演算についての法則。(1)集合A、B、およびそれらを包含する全体集合が与えられたとき、「AまたはB」ではない集合は、Aではない集合かつBではない集合と等しい。(2)「AかつB」ではない集合は、Aではない集合またはBではない集合に等しい。ドモルガンの定理。ドモルガンの規則。
[補説]集合論の
用語で置き換えると次のようになる。(1)
集合Aと
集合Bの
和集合の
補集合は、
集合Aと
集合Bそれぞれの補集合の
積集合に等しい。(2)
集合Aと
集合Bの積集合の補集合は、
集合Aの補集合と
集合Bの補集合の和集合に等しい。