どもるがんのほうそく

デジタル大辞泉

ドモルガン‐の‐ほうそく〔‐ハフソク〕【ドモルガンの法則】

読み方：どもるがんのほうそく

集合演算についての法則。（1）集合A、B、およびそれらを包含する全体集合が与えられたとき、「AまたはB」ではない集合は、Aではない集合かつBではない集合と等しい。（2）「AかつB」ではない集合は、Aではない集合またはBではない集合に等しい。ドモルガンの定理。ドモルガンの規則。

[補説] 集合論の用語で置き換えると次のようになる。（1）集合Aと集合Bの和集合の補集合は、集合Aと集合Bそれぞれの補集合の積集合に等しい。（2）集合Aと集合Bの積集合の補集合は、集合Aの補集合と集合Bの補集合の和集合に等しい。