## [Boolesche Algebra](/de/node/59163) Definition 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 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 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 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 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 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 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 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 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.