Boolean logic
Boolean algebra
Boolean lattice
logical operation
logic operation
OR gate
S
logistic
propositional logic
propositional calculus
switching function
NOR gate
AND gate
truth function
guard
binary arithmetic operation
boolean operation
binary operation
CBE
equivalence gate
switching algebra
Maharam algebra
sublogic
FALSE
consensus theorem
NAND gate
Boolean atom
Stone space
bool
George Boole
semisimple
Zhegalkin polynomial
Boole
XNOR gate
TRUE
logical notation
logic
NOT gate
formula
superatomic
difference
conjunctive normal form
consistency
event tree
disjunctive normal form
true
ring sum normal form
verifiable
Loday algebra
zroupoid
completeness
XOR gate
prealgebra
bitarray
syllogist
logistically
Lie algebra
denotation
Boolean
Boolean function
difference gate
ansiform
modal logic
equivalence
Knaster-Tarski theorem
bent function
algebraizable
contragredient
mathematical notation
tribool
quadrature
Poincaré-Birkhoff-Witt theorem
fault tree
fuzzy mathematics
logic circuit
Heyting algebra
sentential logic
reflexiveness
multiplicative operation
zero-order logic
natural deduction
Boolean derivative
reflexivity
superintuitionistic
formal logic
minterm
commutative algebra
matrix algebra
abelian
bitvector
principle of explosion
loop invariant
material implication
negation
temporal logic
logic diagram
Boolean variable
logical diagram