Normal form

Normal form is a term that may refer to:

Mathematics

Classical logic

• Negation normal form
• Conjunctive normal form
• Disjunctive normal form
• Algebraic normal form

Game theory

• Normal form game

Linear algebra

• Jordan normal form
• Frobenius normal form
• Smith normal form

Proof theory

• Normal form (natural deduction)

Lambda calculus

• Beta normal form if no beta reduction is possible

Formal language theory

• Chomsky normal form
• Greibach normal form
• Kuroda normal form

Other

• Database normalization#Normal forms
• Database normalization
• Normal form (term rewriting), an element of a rewrite system which cannot be rewritten further.

See also

• Normalization
• canonical form
• Normalization property