##  [Distributivgesetz](/de/node/60924) 

 Definition

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

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

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

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

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

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

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

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

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.