Definición Dado un conjunto en el que se han definido dos operaciones binarias interna y , y la operación unitaria interna . La estructura es un álgebra de Boole si y solo si cumple con los Postulados de Huntington. Representaciones Tabla de verdad Expresión algebraica por suma de minitérminos Expresión algebraica por producto de maxitérminos Diagrama de compuertas