De-Morgan-Gesetze

Regeln in der Aussagenlogik und Mengenlehre, die besagen, dass die Negation einer Konjunktion der Disjunktion der Negationen entspricht, und die Negation einer Disjunktion der Konjunktion der Negationen (¬(A∧B) ⇔ ¬A∨¬B und ¬(A∨B) ⇔ ¬A∧¬B), mit entsprechenden Komplementäquivalenzen für Mengen.

Das Paar logischer Äquivalenzen, das Negation mit Konjunktion und Disjunktion verknüpft: ¬(A ∧ B) ist äquivalent zu (¬A) ∨ (¬B), und ¬(A ∨ B) ist äquivalent zu (¬A) ∧ (¬B) in klassischer Logik und Boolescher Algebra.

Zwei algebraische Regeln, die beschreiben, wie Komplementbildung (logische Negation oder Mengenergänzung) über die binären Operationen Vereinigung und Durchschnitt (bzw. ODER und UND) verteilt: das Komplement der Vereinigung ist der Durchschnitt der Komplemente, und das Komplement des Durchschnitts ist die Vereinigung der Komplemente.