Podemos definir como álgebra booleana o conjunto de operadores e um conjunto de axiomas (verdades inquestionáveis universalmente válidas), que são assumidos verdadeiros sem precisar de prova.

No ano de 1854, o matemático inglês George Boole introduziu uma maneira sistemática e formal que até hoje é usada para o tratamento sistemático da lógica, conhecida como álgebra de Boole ou álgebra booleana.

Com o passar dos anos, quase um século depois, outro cientista e matemático, o norte-americano Claude Elwood Shannon, teve a ideia de usar o sistema matemático de George Boole para analisar e projetar circuitos. Shannon utilizou a álgebra boolena para fazer a demonstração das propriedades dos circuitos elétricos de chaveamento com dois valores.