Booleaanse algebra

In de wiskunde, met name de abstracte algebra, en in de informatica is een booleaanse algebra of boolealgebra een algebraïsche structuur met de logische operatoren AND (en), OR (of) en NOT (niet). Deze operatoren zijn direct gerelateerd aan de begrippen doorsnede, vereniging en complement uit de verzamelingenleer.

Zo is het logische "uitgesloten derde", dat stelt dat een uitspraak waar is of onwaar, equivalent met de regel dat de vereniging van een verzameling en z'n complement alle in het geding zijnde elementen bevat.

${\displaystyle A\cup A^{c}=U}$.

Complementair daaraan is de logische vaststelling dat een uitspraak en z'n ontkenning niet samen waar kunnen zijn. Dit wordt voor verzamelingen weerspiegeld in de regel dat een verzameling en z'n complement geen gemeenschappelijk element hebben.

${\displaystyle A\cap A^{c}=\emptyset }$.

De booleaanse operatoren zijn genoemd naar de Brit George Boole, die ze in het midden van de 19e eeuw invoerde. Een booleaanse algebra is een poging om algebraïsche technieken te gebruiken teneinde te kunnen omgaan met logische uitdrukkingen. Booleaanse algebra's vinden bijvoorbeeld toepassing in het samenstellen van digitale elektronische schakelingen, zoals die in computers worden gebruikt. In de praktijk kan men de werking ervan onder meer zien in sommige zoeksystemen voor internetpagina's.