Boolesche Algebra
? George Boole (1815-1864): Algebra der Logik (Boolesche Algebra)
Def.: Eine Boolesche Algebra ist eine algebraische Struktur (V;? ,? ), bestehend aus
a) einer Menge V mit mindestens zwei Elementen
b) den zweistelligen Verknüpfungen
? : V x V ? V (Boolesches Produkt)
? : V x V ? V (Boolesche Summe),
die den Huntingtonschen Axiomen (s.u.) genügen:
Nachbemerkung: Eine algebraische Struktur ist eine Menge mit auf ihr definierten
Verknüpfungen, deren Ergebnisse wieder in dieser Menge liegen.