Álgebra de Boole

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