قوانين دي مورغان
تستخدم قوانين دي مورجان في قواعد المنطق في وصف نتيجة عكس عمليتي الضرب المنطقي(و) and و الجمع المنطقي(أو) or
و عن طريق الإشارات
وفي قوانيين الجبر البولييني
الإتحاد و التقاطع يتبدلان تحت النفي."
formula_7 إذا وفقط إذا formula_13 و formula_14.
formula_15
formula_16
formula_17 أو formula_18
formula_19 أو formula_20
formula_21
لذلك formula_13
formula_21
formula_19 أو formula_20
formula_17 أو formula_18
formula_16
formula_15
لذلك formula_13
formula_13 و formula_14لذلك formula_33
formula_34 يمكن إثباتها بنفس الطريقة.