Äquivalenzen

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

Negation von UND / Oder:
$\neg (A\wedge B)⟺\neg A\vee \neg B$
$\neg (A\vee B)⟺\neg A\wedge \neg B$

Assoziativgesetz:
$(A\wedge B)\wedge C⟺A\wedge (B\wedge C)$
$(A\vee B)\vee C⟺A\vee (B\vee C)$

Distributivgesetz:
$(A\wedge B)\vee C⟺(A\vee B)\wedge (B\vee C)$
$(A\vee B)\wedge C⟺(A\wedge B)\vee (B\wedge C)$

Kommutativgesetz:
$A\wedge B⟺B\wedge A$
$A\vee B⟺B\vee A$

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

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