Assoziativgesetz
Definition
Das Gesetz, dass die Gruppierung der Operanden bei wiederholter Anwendung eines binären Operators das Ergebnis nicht verändert; formal gilt für Operator ⊗ und A, B, C: (A ⊗ B) ⊗ C = A ⊗ (B ⊗ C) (z. B. (A ∧ B) ∧ C = A ∧ (B ∧ C)).