xiphisternum
Zhegalkin polynomial
Boolean logic
forelock
Boolean algebra
topological space
infer
coding
logic diagram
proof system
fat comma
neutrosophy
adjunctive
deduce
downsampler
detour
xem
muxer
Herbrand's theorem
decodification
spiral
subxiphoid
I-bar
mux
memistor
multiplicative identity
stringifier
maplet
mathematical logic
semanticist
logicism
logic
ternary computer
circular
witcraft
xiphisternal
transxiphoid
xiphoid
domain of discourse
syllogist
dioid
notatable
Oesterlé-Masser conjecture
strict implication
multilinking
corner quote
intramodular
Leyland number