Äquivalenzen

∀ → für alle
∃ → es gibt
= → gleich
⇔ → logisch äquivalent

Negation von UND / Oder:
$\neg (A \land B) ⟺ \neg A \lor \neg B$
$\neg (A \lor B) ⟺ \neg A \land \neg B$

Assoziativgesetz:
$(A \land B) \land C ⟺ A \land (B \land C)$
$(A \lor B) \lor C ⟺ A \lor (B \lor C)$

Distributivgesetz:
$(A \land B) \lor C ⟺ (A \lor B) \land (B \lor C)$
$(A \lor B) \land C ⟺ (A \land B) \lor (B \land C)$

Kommutativgesetz:
$A \land B ⟺ B \land A$
$A \lor B ⟺ B \lor A$

Kontrapositionsregel:
$(A \to B) ⟺ (\neg A \to \neg B)$

$(A \leftrightarrow B) ⟺ (A \to B) \land (B \to A)$

Quartz 4