Boolesk algebra, introducerades av
George Boole i boken "En undersökning av tankelagarna på vilka de matematiska teorierna för logik och sannolikhet är grundade" som gavs ut år 1854. Boolesk algebra är en teknik som beskriver den klassiska logiken
sanningsfunktionellt med hjälp av de två talen 1 och 0 för 'sant' resp. 'falskt'. Algebran bygger på operationerna addition, subtraktion och multiplikation, men definierar tilläggsregler till dessa för att avbilda beteendet hos de logiska operationern 'OCH' och 'ELLER'.