قوانین دمورگان در منطق و نظریه مجموعهها بهصورت زیر بیان میشوند:
1. ¬(A ∧ B) = ¬A ∨ ¬B
(منفی (A و B) برابر است با منفی A یا منفی B)
2. ¬(A ∨ B) = ¬A ∧ ¬B
(منفی (A یا B) برابر است با منفی A و منفی B)
این قوانین در منطق ریاضی و طراحی مدارهای دیجیتال کاربردهای زیادی دارند.