Category
page 1Normal forms (logic)
disjunctive normal form
proposition formula of a special form
conjunctive normal form
concept in Boolean logic
Horn clause
clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal
Skolem normal form
formalism of first-order logic
prenex normal form
first-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part
negation normal form
term
algebraic normal form
algebraic normal form, closely related to Zhegalkin polynomial
Beta normal form
potential state for a term in Lambda calculus