ド・モルガンの法則

3行要約

1. 集合論や論理学において、論理和と論理積の否定に関する基本的な法則。
2. 「AかつB」の否定は「Aの否定またはBの否定」に等しいことを示す。
3. プログラミングの条件分岐を整理する際など、論理設計の現場で不可欠。