命題Aと命題Bの論理和、論理積、論理否定に関して、以下が成り立ちます。
A ___∨__ B=A___∧__B
A ___∧__ B=A___∨__B
これをド・モルガンの法則と言います。
A ___∨__ BやA___∧__BをYとすると、真理値表は、以下になります。
A ___∧__ BやA___∨__BをYとすると、真理値表は、以下になります。