Category:Definitions/Boolean Algebras

This category contains definitions related to Boolean Algebras.
Related results can be found in Category:Boolean Algebras.

$(\text {BA}_1 0)$	$:$	$S$ is closed under $\vee$, $\wedge$ and $\neg$
$(\text {BA}_1 1)$	$:$	Both $\vee$ and $\wedge$ are commutative
$(\text {BA}_1 2)$	$:$	Both $\vee$ and $\wedge$ distribute over the other
$(\text {BA}_1 3)$	$:$	Both $\vee$ and $\wedge$ have identities $\bot$ and $\top$ respectively
$(\text {BA}_1 4)$	$:$	$\forall a \in S: a \vee \neg a = \top, a \wedge \neg a = \bot$

Source of Name

This entry was named for George Boole.

This category has only the following subcategory.

The following 24 pages are in this category, out of 24 total.