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)).

Prinzip

Klammern (Assoziation) können umgeordnet werden, ohne die Auswertung iterierter Anwendungen des assoziativen Operators zu verändern.

Demonstration

Bei der booleschen Disjunktion liefern sowohl (A ∨ B) ∨ C als auch A ∨ (B ∨ C) genau dann wahr, wenn mindestens eines von A, B, C wahr ist; Wahrheitstabellen und Semantik stimmen überein.

Fehlanwendung

Annahme von Assoziativität bei Gleitkommaaddition ohne Berücksichtigung von Rundungsfehlern oder Anwendung auf nichtassoziative Operationen wie Subtraktion oder Exponentiation führt zu falschen Ergebnissen.

Konsequenz

Erlaubt das Weglassen oder Umsetzen von Klammern bei wiederholten gleichen Verknüpfungen, vereinfacht Parsebäume und ermöglicht parallele oder inkrementelle Auswertungsstrategien.

Umkehrung

Nicht-Assoziativität: Operationen, bei denen die Gruppierung das Ergebnis ändert (z. B. (a − b) − c ≠ a − (b − c) oder bestimmte Konkatenationen mit Seiteneffekten).

Abgrenzung

Gilt für wiederholte Anwendungen desselben binären Operators im selben algebraischen System; impliziert nicht, dass unterschiedliche Operatoren miteinander kommutieren oder assoziieren, und schließt gemischte Ausdrücke ohne zusätzliche Regeln aus.

Semantische Spannung

Spannung zur Auswertungsreihenfolge — Assoziativität erlaubt flexible Gruppierung, kann aber mit Kontexten kollidieren, in denen die Auswertungsreihenfolge Seiteneffekte, Ressourcenanforderungen oder unreinere Semantik erzwingt.

Synthese

Das Assoziativgesetz kennzeichnet Operatoren, bei denen die Gruppierung unerheblich ist, erlaubt eine klammerfreie Notation und strukturelle Vereinfachung, bleibt aber sensitiv gegenüber Seiteneffekten und heterogenen Operatorenkontexten.