In der
Mathematik ist eine
boolesche Algebra (oder ein
boolescher Verband) eine spezielle
algebraische Struktur, die die Eigenschaften der
logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der
mengentheoretischen Verknüpfungen Durchschnitt, Vereinigung, Komplement verallgemeinert. Gleichwertig zu booleschen Algebren sind
boolesche Ringe, die von UND und ENTWEDER-ODER (exklusiv-ODER) beziehungsweise Durchschnitt und symmetrischer Differenz ausgehen.