Tümel evetleme ve tikel evetleme biçiminde olmayan önermeler için türetilmiş çözümleme kuralları uygulanır. Koşul ve karşılıklı koşul, tümel değilleme, tikel değilleme, koşul değilleme, karşılıklı koşul değilleme önermeleri ilk önce denk bir tümel evetleme ya da tikel evetleme önermesine dönüştürülür. Çözümlenecek önerme artık tümel evetleme ya da tikel evetleme kuralına göre yapılabilir. Aşağıdaki tabloda De Morgan tarafından geliştirilmiş ve kendi adıyla anılan De Morgan Eş Değerlik Kuralları verilmiştir.
De Morgan Eş değerlik KurallarıSıra | Önerme | Eş değeri |
1 | ~(p ∨ q) | (~p ∧~q) |
2 | ~(p ∧ q) | (~p ∨~q) |
3 | (p → q) | (~p ∨ q) |
4 | ~(p → q) | (p ∧~q) |
5 | (p ↔ q) | (p ∧ q) ∨ (~p ∧~q |
6 | ~ (p ↔ q) | (p ∧~ q) ∨ (~p ∧ q) |