Definición Una álgebra de Boole es una tripleta ( B , + , ⋅ ) {\displaystyle ({\mathfrak {B}},+,\cdot )} . Donde B ≠ ϕ {\displaystyle {\mathfrak {B}}\neq \phi } , + {\displaystyle +} y ⋅ {\displaystyle \cdot } son operaciones binarias y también operaciones internas en B {\displaystyle {\mathfrak {B}}} y además para cualquier x , y , z ∈ B {\displaystyle x,y,z\in {\mathfrak {B}}} se cumplen los siguientes axiomas: