## [Kommutativgesetz](/de/node/60920) Definition 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 Prinzip Die Reihenfolge der Operanden spielt für den Operator keine Rolle: Permutation der Eingaben lässt die Operation invariant. ## Demonstration 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 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 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 Umkehrung Nicht-Kommutativität: Operatoren, deren Ergebnis sich bei Vertauschung der Operanden ändert (z. B. Subtraktion a − b, Implikation A → B, geordnete Paare). ## Abgrenzung 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 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 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.