A Álgebra de Boole é um sistema matemático e, como qualquer sistema matemático, é fundamentada em postulados e teoremas que permitem criar regras para a manipulação das expressões algébricas. Um postulado é uma suposição básica que se admite sem demonstração. O teorema é uma lei básica que para se admitir ou tornar evidente precisa de demonstração.
Dos teoremas e postulados a seguir, é correto o que se afirma em