Die Äquivalenzen, die zwei binäre Operatoren verbinden, indem der eine über den anderen distribuiert wird; in der Booleschen Logik lauten die beiden Formen A ∧ (B ∨ C) ↔ (A ∧ B) ∨ (A ∧ C) und A ∨ (B ∧ C) ↔ (A ∨ B) ∧ (A ∨ C).

Prinzip

Ein auf einen zusammengesetzten Operanden angewendeter Operator kann in separate Anwendungen auf die Teiloperanden verteilt werden, wobei die logische Äquivalenz erhalten bleibt, wenn die Algebra Distributivität zulässt.

Demonstration

In der Booleschen Algebra ist A ∧ (B ∨ C) genau dann wahr, wenn A wahr ist und mindestens eines von B oder C wahr ist; dies stimmt mit (A ∧ B) ∨ (A ∧ C) überein und lässt sich in Wahrheitstabellen zeigen.

Fehlanwendung

Die Annahme von Distributivität in nichtdistributiven Verbänden oder algebraischen Strukturen (in denen eine Richtung scheitert) oder die Verteilung über Operatoren, die nicht entsprechend interagieren, führt zu ungültigen Umformungen.

Konsequenz

Ermöglicht Faktorisierung und Entwicklung von Formeln, Umwandlung zwischen konjunktiver und disjunktiver Normalform und algebraische Vereinfachung, die in Beweisen und Schaltnetzsynthese verwendet werden.

Umkehrung

Versagen der Distributivität: Strukturen, in denen keine oder nur eine Distributionsrichtung gilt (z. B. bestimmte nichtdistributive Verbände oder Algebren, in denen die Operationen nicht wie Konjunktion und Disjunktion interagieren).

Abgrenzung

Gilt in Boolescher Algebra und distributiven Verbänden; nicht allgemein für beliebige binäre Operatoren, gemischte Operatorenkontexte oder wenn Seiteneffekte bzw. zusätzliche Modalitäten die Operatorinteraktion ändern.

Semantische Spannung

Spannung zwischen Distributivität und Absorption/Assoziativität: Distributivität erweitert die Struktur, während Absorption sie zusammenzieht; die falsche Anwendung kann Komplexität erhöhen statt zu vereinfachen.

Synthese

Das Distributivgesetz formt, wann und wie ein Verknüpfungsoperator einen anderen durchdringt, und erlaubt kontrolliertes Ausklammern oder Ausmultiplizieren zusammengesetzter Ausdrücke in Systemen mit distributiver Wechselwirkung.