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
