Álgebra boole

 El álgebra de Boole está formada por un conjunto de variables Booleanas, 

$x\in \left\{0,1\right\}$ y eso se basa en variables que sólo pueden tomar dos valores: 0 ó 1, abierto o cerrado, encendido o apagado, etc.

Un literal l es una variable o su negada. Existen dos tipos: literalres con signo positivo cuando representan el valor ‘1’ de la variable ($l=x$), y con signo negativo cuando representa el valor ‘0’ ($l=\overline{x}$).

El álgebra de Boole está definido por 3 operaciones básicas: complemento, suma (OR) y producto (AND).

Leyes e identidades del álgebra booleana

Al formular expresiones matemáticas para circuitos lógicos es importante tener conocimiento del álgebra booleana, que define las reglas para expresar y simplificar enunciados lógicos binarios. Una barra sobre un símbolo indica la 

Operaciones , que corresponde a la inversión de una señal.