Normal form

Normal form is a term that may refer to:

• Normal form (databases)
• Normal form (game theory)
• Normal form (mathematics)

In formal language theory

• Beta normal form
• Chomsky normal form
• Greibach normal form
• Kuroda normal form
• Normal form (term rewriting), an element of a rewrite system which cannot be further rewritten.

In logic

• Algebraic normal form
• Conjunctive normal form
• Disjunctive normal form
• Herbrand normal form
• Negation normal form
• Prenex normal form
• Skolem normal form

In lambda calculus

• Beta normal form

See also

• Normalization
• Normalization property
• Musical set theory