Normal forms (logic)

proposition formula of a special form

concept in Boolean logic

clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal

formalism of first-order logic

first-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part

term

algebraic normal form, closely related to Zhegalkin polynomial

potential state for a term in Lambda calculus