Bu bölümde bileşik önermelerle ilgili iki kural setinden bahsedeceğiz.
De Morgan kurallarının birincisine göre; bir "ve" bileşik önermesinin değili, bileşik önermeyi oluşturan önermelerin değillerinin "veya" bileşik önermesine denktir.
\( (p \land q)' \equiv p' \lor q' \)
\( (p \land q \land r)' \equiv p' \lor q' \lor r' \)
De Morgan kurallarının ikincisine göre; bir "veya" bileşik önermesinin değili, bileşik önermeyi oluşturan önermelerin değillerinin "ve" bileşik önermesine denktir.
\( (p \lor q)' \equiv p' \land q' \)
\( (p \lor q \lor r)' \equiv p' \land q' \land r' \)
Birinci absorbe kuralı aşağıdaki gibidir.
İkinci absorbe kuralı aşağıdaki gibidir.