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