De acordo com Güntzel e Nascimento (2001), álgebra Booleana pode ser definida como um conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade de prova. Em 1854, George Boole introduziu o formalismo que até hoje se usa para tratamento sistemático da lógica, que é a chamae Algebra Booleana. Em 1938, C. E. Shannon aplico esta álgebra para mostrar que as propriedades