normal form
nounDefinition of normal form
logic
: a canonical or standard fundamental form of a statement to which others can be reduced
especially
: a compound statement in the propositional calculus consisting of nothing but a conjunction of disjunctions whose disjuncts are either elementary statements or negations thereof