¿Qué es?
es un conjunto en el que hay definidas dos operaciones binarias (que en el caso de los enunciados son ˄ y ˅) y donde se cumplen unas determinadas propiedades. Expresadas en forma de leyes, las propiedades de los enunciados vistos como álgebra de Boole son las siguientes:
A partir de las ocho leyes anteriores es posible demostrar otras
La visión algebraica de los enunciados deja de lado la conectiva A → B como una forma alternativa de escribir ﹁A ∨ B.