Definition 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
