El álgebra de Boole es toda clase o conjunto de elementos que pueden tomar dos valores perfectamente diferenciados, que se definen por "0" y "1" y que están relacionados por las operaciones binarias de suma (+) y producto (.) lógicos que cumplen diferentes teoremas y postulados:
TEOREMAS Y POSTULADOS DEL ÁLGEBRA DE BOOLE :
