Verknüpfungsregeln

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