Kommutativgesetz
\( A ∨ B ⇔ B ∨ A ; \quad A ∧ B ⇔ B ∧ A \) Gl. 6
Assoziativgesetz
\( (A ∨ B) ∨ C ⇔ A ∨ (B ∨ C) ; \quad (A ∧ B) ∧ C ⇔ A ∧ (B ∧ C) \) Gl. 7
Distributivgesetz
\( A ∧ (B ∨ C) ⇔ (A ∧ B) ∨ (A ∧ C) ; \quad A ∨ (B ∧ C) ⇔ (A ∨ B) ∧ (A ∨ C) \) Gl. 8