XNOR gate
equivalence gate
NOT gate
XOR gate
AND gate
NOR gate
OR gate
difference gate
NAND gate
logic circuit
XNOR
NAND circuit
XAND
difference
threshold element
threshold gate
XNAND
logical operation
logic operation
negation
Boolean algebra
Boolean logic
consensus theorem
logistic
inclusive or
qugate
S
deduce
infer
non-classical logic
Rent's rule
equivalence
Boolean atom
FALSE
boolean operation
sublogic
binary operation
binary arithmetic operation
logic
Fredkin gate
Gödel's incompleteness theorem
explanans
degree
metamathematics
false equivalence
Cantor-Bendixson theorem
truth function
metalogic
syllogist
true
formal logic
infinite descent
witcraft
Herbrand's theorem
logical proof
t-norm fuzzy logic
declarative programming
loop invariant
logicism
syllogization
atomic
superintuitionistic
alogical
transrational
detour
natural deduction
-logic
logicist
material implication
by extension
posit
fraction
formal
postulate
syllogism
material logic
neutrosophy
crispification
predicate calculus
Presburger arithmetic
fuzzy logic
syllogiser
syllogizer
alethiology
relative pseudo-complement
fixed point
bent function
ternary logic
consistency
conservative extension
chop logic
elicit
NOT