deduce
logician
logistician
by extension
off-by-one error
binary arithmetic operation
fault tree
binary operation
boolean operation
tribool
atomic
full adder
consensus theorem
event tree
syllogiser
syllogizer
Boolean lattice
crispification
corner quote
gyrocommutative
non-classical logic
predicate calculus
denotation
syllogist
conditional operator
fret
XOR
fat comma
adjunctive
quandle
quantum logic gate
ternary computer
bool
fuzzy mathematics
programmable logic array
forelock
mathematical logic
formal logic
inverting function
Heyting algebra
loop-the-loop
binary operator
systolic
do loop
strict implication
memistor