El álgebra booleana es una estructura algebraica
definida por un conjunto de elementos, "B", junto
con dos operadores binarios, + y ° , a condición de
que se satisfagan los siguientes postulados.
Un álgebra booleana de dos valores se
define sobre un conjunto de dos elementos,
B = {1, 0}, con las reglas para los dos
operadores binarios, +y °.
Estas reglas son iguales que las operaciones:
AND = °. OR = +. NOT = '.
Al comparar el álgebra booleana con la aritmética y
el álgebra ordinaria (el campo de los números
reales), observamos las siguientes diferencias: