ド・モルガンの法則

ド・モルガンの法則では、条件AとBがあるとき、NOTを否定、ANDを論理積、ORを論理和とすると、次のような関係式が成立するとしている。 NOT (A AND B) = NOT(A) OR NOT(B)、NOT (A OR B) = NOT(A) AND NOT(B) これを具体例に当てはめてみると、「成人の男性」の否定は「成人でないか男性でない」すなち「未成年か女性」と同じことであり、「成人か男性」の否定は「成人でなく男性でない」すなち「未成年の女性」と同じことである、と表現することができる。 ド・モルガンの法則は、回路設計や複雑な演算を簡易に表現できることから、コンピュータ科学においても欠かせない重要な法則とされている。 ド･モルガンの法則は、17世紀英国の数学者で論理学者、ド・モルガン（Augustus De Morgan）によって考案された。 かれが法則の名称の由来でもある。