This is an old revision of the document!


2-element Boolean algebra

Name: $\mathbb B_2$

Elements: 0,1

Constant operations: 0=0 1=1

Unary operations:

$x$ 01
$x'$10

Binary operations:

$\vee$01
001
111