Das Prinzip in Logik und Algebra, dass ein binärer Operator dasselbe Ergebnis liefert, wenn seine Operanden vertauscht werden; formal gilt für Operanden A und B und einen kommutativen Operator ⊗: A ⊗ B = B ⊗ A (Beispiele: A ∧ B = B ∧ A, A ∨ B = B ∨ A).

Prinzip

Die Reihenfolge der Operanden spielt für den Operator keine Rolle: Permutation der Eingaben lässt die Operation invariant.

Demonstration

Bei der booleschen Konjunktion sind A ∧ B und B ∧ A gleich, weil beide genau dann wahr sind, wenn A und B wahr sind; die Wahrheitstabellen beider Anordnungen sind identisch.

Fehlanwendung

Das Anwenden von Kommutativität auf Implikation (A → B ≠ B → A) oder auf nichtkommutative Operationen wie Funktionskomposition oder Matrixmultiplikation führt zu falschen Schlüssen.

Konsequenz

Ausdrücke lassen sich umordnen, um Formeln zu vereinfachen, gemeinsame Teil-Ausdrücke herauszufaktorisieren oder eine kanonische Operanden-Anordnung für Normalisierung und Optimierung zu wählen.

Umkehrung

Nicht-Kommutativität: Operatoren, deren Ergebnis sich bei Vertauschung der Operanden ändert (z. B. Subtraktion a − b, Implikation A → B, geordnete Paare).

Abgrenzung

Gilt nur für den angegebenen binären Operator und dessen algebraischen Kontext; ein Operator kann in einer Algebra kommutativ und in einer anderen nicht sein; unäre Operatoren sind ausgeschlossen.

Semantische Spannung

Spannung zu geordneten oder gerichteten Verknüpfungen — Kommutativität steht im Widerspruch zu Konzepten, die Richtung, Kausalität oder Sequenz kodieren (z. B. Implikation vs. Konjunktion).

Synthese

Das Kommutativgesetz bestimmt, wann die Operandenreihenfolge für eine gegebene binäre Operation belanglos ist und ermöglicht Umordnung und Kanonisierung dort, wo sie zulässig sind, ohne gerichtete Operationen zu verwechseln.