Boolean Arithmetic
<p>In <a title="Mathematics" href="https://en.wikipedia.org/wiki/Mathematics">mathematics</a> and <a title="Abstract algebra" href="https://en.wikipedia.org/wiki/Abstract_algebra">abstract algebra</a>, the <b>two-element Boolean algebra</b> is the <a title="Boolean algebra (structure)" href="https://en.wikipedia.org/wiki/Boolean_algebra(structure)">Boolean algebra</a> whose <i>underlying set</i> (or <a title="Universe (mathematics)" href="https://en.wikipedia.org/wiki/Universe(mathematics)">universe</a> or <i>carrier</i>) <i>B</i> is the <a title="Boolean domain" href="https://en.wikipedia.org/wiki/Boolean_domain">Boolean domain</a>. The elements of the Boolean domain are 1 and 0 by convention, so that <i>B</i> = {0, 1}. <a title="Paul Halmos" href="https://en.wikipedia.org/wiki/Paul_Halmos">Paul Halmos</a>'s name for this algebra "<b>2</b>" has some following in the literature, and will be employed here.</p>