Normal form may refer to:

in formal language theory:

in logic:

in lambda calculus:

See also edit