De Morgan kuralı "ve", "veya" bağlaçları ile bağlanmış iki önermenin değil'ini indirgemek için kullanılan bir ilişkidir. Buna göre "p veya q önermesinin değili" "p'nin değili ile q'nun değilinin evetlenmesine", "p ve q'nun değili" "p'nin değili ile q'nun değilinin veya'lanmasına" eşittir.