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