switching algebra
Boolean variable
binary arithmetic operation
boolean operation
binary operation
superatomic
TRUE
Boolean lattice
CBE
Stone space
FALSE
Boolean algebra
Boolean logic
alternative algebra
bitarray
bialgebroid
Boole
minterm
switching function
George Boole
Boolean function
consensus theorem
bool
ring sum normal form
power-associative algebra
truth function
tribool
inclusive or
verifiable
free Boolean algebra
bitvector
monotone function
OR gate
zroupoid
Maharam algebra
fixed-point number
NOR gate
monome
semifield
fraction
equivalence
difference
even number
foil
equivalence gate
bifunction
Boolean atom
mediant
Peano arithmetic
Cartan subalgebra