Boolean algebra
Boolean logic
S
Boolean lattice
George Boole
Boole
zroupoid
AND gate
axiomatic system
sublogic
superatomic
binary arithmetic operation
binary operation
boolean operation
OR gate
consistency
Organon
linear algebraic
switching algebra
logicism
NOR gate
NOT gate
XNOR gate
equivalence gate
algebraic variety
non-classical logic
algebraizable
calcular
switching function
semisimple
Stone space
formal logic
logicist
prealgebra
theory
Boolean atom
linear algebra
logicomathematical
logical notation
algebraical
type theory
algebraic
arithmetic
superintuitionistic
Boolean
TRUE
universal algebra
algebraic combinatorics
operational calculus
consensus theorem
algebraicness
FALSE
conservative extension
Gödel's incompleteness theorem
truth function
propositional calculus
multialgebra
set theory
Maharam algebra
Neukirch-Uchida theorem
Boolean function
logic programming
Poincaré-Birkhoff-Witt theorem
propositional logic
mathematical logic
Knaster-Tarski theorem
algebraist
recursion theory
coquecigrue
event tree
anamorphism
mathetic
Clifford module
quantum logic
algebraically
algebraicity
matrix algebra
principle of explosion
interchangeable
logical
plethysm
alethiology
syllogist
theonomous
Peano arithmetic
informal fallacy
denotation
logic circuit
mathemic
Heyting algebra
analytic
field theory
logicalize