Category:Identities of Boolean Algebra are also Zeroes

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Identities of Boolean Algebra are also Zeroes:


Let $\struct {S, \vee, \wedge, \neg}$ be a Boolean algebra, defined as in Definition 1.

Let the identity for $\vee$ be $\bot$ and the identity for $\wedge$ be $\top$.


Then:

\(\text {(1)}: \quad\) \(\ds \forall x \in S: \, \) \(\ds x \vee \top\) \(=\) \(\ds \top\)
\(\text {(2)}: \quad\) \(\ds \forall x \in S: \, \) \(\ds x \wedge \bot\) \(=\) \(\ds \bot\)

That is:

$\bot$ is a zero element for $\wedge$
$\top$ is a zero element for $\vee$.

Pages in category "Identities of Boolean Algebra are also Zeroes"

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