Boolean function
any mathematical function with Boolean arguments and result
logical NOR
binary operation that is true if and only if both operands are false
exclusive or
true when either but not both inputs are true
logical disjunction
logical connective OR
product term
term in mathematics
logical conjunction
logical connective AND
Sheffer stroke
logical operation that asserts that at least one of its operands is false
logical implication
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
if and only if
logical connective