Definition:Boolean Algebra/Also known as

From ProofWiki
Jump to: navigation, search

Boolean Algebra: Also defined as

Some sources refer to a Boolean algebra as:

a Boolean ring


a Huntington algebra

both of which terms already have a different definition on $\mathsf{Pr} \infty \mathsf{fWiki}$.

Other common notations for the elements of a Boolean algebra include:

$0$ and $1$ for $\bot$ and $\top$, respectively
$a'$ for $\neg a$.

When this convention is used, $0$ is called zero, and $1$ is called one or unit.