Ein Paar boolescher Identitäten, die verschachtelte Konjunktionen und Disjunktionen durch ‚Absorption‘ eines Operanden in einen größeren Ausdruck vereinfachen: A ∨ (A ∧ B) = A und A ∧ (A ∨ B) = A.

Prinzip

Wenn ein Operanden die Wahrheit (oder Falschheit) eines zusammengesetzten Ausdrucks bereits gewährleistet, so liefert die Kombination mit dem zusammengesetzten Ausdruck über den geeigneten Verknüpfungsoperator den gewährleistenden Operanden zurück und ermöglicht das Zusammenziehen von Redundanz.

Demonstration

Ist A wahr, so ist A ∨ (A ∧ B) unabhängig von B wahr; ist A falsch, so ist A ∧ (A ∨ B) unabhängig von B falsch. In beiden Fällen ist der verschachtelte Ausdruck äquivalent zu A.

Fehlanwendung

Absorption anzuwenden, wenn die wiederholte Teilform nicht syntaktisch oder semantisch identisch ist (z. B. A ∨ (C ∧ B) mit C ≠ A) oder in Algebren, in denen Absorption nicht gilt, führt zu falschen Vereinfachungen.

Konsequenz

Ermöglicht sofortiges Entfernen redundanter Terme, reduziert die Größe von Formeln, vereinfacht logische Beweise und Schaltkreis-Implementierungen durch Zusammenfallen unnötiger Strukturen.

Umkehrung

Nicht-absorbierende Kontexte: algebraische Systeme ohne diese Identitäten oder Situationen, in denen Absorption wesentliche Vielfachheit oder kontextuelle Unterschiede entfernen würde (z. B. probabilistische oder mehrwertige Logiken, in denen A ∨ (A ∧ B) sich nicht zu A reduziert).

Abgrenzung

Gilt in klassischer Boolescher Algebra und in distributiven idempotenten Verbänden; gilt nicht für allgemeine Operatoren, für Ausdrücke, bei denen das absorbierende Literal verschieden ist, oder für Kontexte, die Vielfachheit, Wahrscheinlichkeit oder Seiteneffekte verfolgen.

Semantische Spannung

Spannung zwischen Distributivität und Expansion: Absorption zieht Struktur zusammen, indem sie Redundanz entfernt, während Distributivität sie erweitert; die Wahl der anzuwendenden Regel beeinflusst Komplexität und Normalformkompromisse.

Synthese

Das Absorptionsgesetz fasst ein lokales Vereinfachungsmuster zusammen: Wenn ein Literal eine zusammengesetzte Ausdrucksweise in bestimmter Weise subsumiert, kollabiert die Zusammensetzung zum Literal und ergibt kompakte, redundanzfreie Darstellungen in booleschen und verwandten Verbänden.