Eine Boolesche Algebra ist ein komplementierter distributiver Verband mit binärem Meet (∧) und Join (∨), unärem Komplement (¬) und unterscheidbaren kleinsten (0) und größten (1) Elementen, welche Distributivität, Komplementgesetze (x ∨ ¬x = 1, x ∧ ¬x = 0) und De-Morgan-Identitäten erfüllen.

Prinzip

Die Boolesche Algebra axiomatisiert klassische zweistellige Logik und Mengenalgebra: Binäroperationen distribuieren übereinander und jedes Element hat ein eindeutiges Komplement bezüglich der Schranken, was algebraische Manipulation von Wahrheit und Mitgliedschaft erlaubt.

Demonstration

Die Potenzmenge eines Universums mit ∪, ∩, dem Komplement relativ zum Universum, der leeren Menge als 0 und dem Universum als 1 bildet eine boolesche Algebra; propositionale Formeln modulo logischer Äquivalenz bilden eine boolesche Algebra unter ∧, ∨ und ¬.

Fehlanwendung

Boolesches Rechnen in nicht-distributiven Verbänden anzuwenden (z. B. modulare Verbände ohne Komplemente) oder Komplemente wie Mengenkomplemente zu behandeln, obwohl die Struktur nicht boolesch ist; σ-Eigenschaften (maßtheoretisch) aus der booleschen Struktur abzuleiten ist ebenfalls falsch.

Konsequenz

Ermöglicht algebraische Vereinfachung logischer Ausdrücke und Mengenoperationen, trägt zu Darstellungssätzen bei, unterstützt boolesche Homomorphismen und Quotienten und bildet die Grundlage digitaler Logik und klassischer Aussagenlogik.

Umkehrung

Eine Heyting-Algebra (intuitionistische Logik) schwächt die Komplementanforderung: Negation ist nicht unbedingt involutiv und x ∨ ¬x muss nicht 1 sein. Wird Distributivität aufgehoben, entstehen komplementierte, aber nicht-boolesche Verbände mit anderem Verhalten.

Abgrenzung

Muss beschränkt, distributiv und komplementiert sein; schließt Verbände aus, die Distributivität oder Komplemente vermissen, σ-Algebren (Abschlüsse für abzählbare Vereinigungen sind eine andere Kategorie) sowie Strukturen mit nur Pseudo-Komplementen.

Semantische Spannung

Boolesche Algebra versus Boolescher Ring: beide kodieren identische algebraische Informationen, verwenden jedoch unterschiedliche primitive Operationen; Boolesche Algebra versus σ-Algebra: σ-Algebra fügt abzählbare Abschlussbedingungen für den Maßbegriff hinzu.

Synthese

Eine boolesche Algebra ist die algebraische Struktur, die klassische zweistellige Logik und die Komplementarität von Mengen erfasst: ein beschränkter distributiver Verband, in dem jedes Element ein eindeutiges Komplement besitzt und der algebraische Manipulation von Wahrheit und Mitgliedschaft ermöglicht.