Definition:Boolean Algebra/Also defined as

From ProofWiki
Jump to navigation Jump to search

Boolean Algebra: Also defined as

Some sources define a Boolean algebra to be what on $\mathsf{Pr} \infty \mathsf{fWiki}$ is called a Boolean lattice.


Some sources define a Boolean algebra to be a set with two elements (typically $\set {0, 1}$ together with the two operations addition $+$ and multiplication $\times$ defined as follows:

$\begin{array}{c|cc} + & 0 & 1 \\ \hline 0 & 0 & 1 \\ 1 & 1 & 0 \\ \end{array} \qquad \begin{array}{c|cc} \times & 0 & 1 \\ \hline 0 & 0 & 0 \\ 1 & 0 & 1 \\ \end{array}$


Sources