Definitions for "Disjunctive Normal Form"
The form of a logical expression consisting of a single conjunction (ยท) of a set of disjunctions(+). All logical expressions are expressible in this form.
a standard form for logical expressions, in which individual terms are joined by AND, and such groups of terms are joined by OR.
A Boolean expression having junctors in {AND, OR} is in Disjunctive Normal Form if no junctors are negated and if no OR junctor is dominated by an AND junctor.