(Also called
DNF). The form of a
compound in logic, when it is expressed as a series of
disjuncts, where each disjunct is either a
simple proposition (or
negation of) or a
conjunction of simple propositions and
negations of simple propositions.
And now in English: It is when a compound is in the form of "Ifs of ands" (or sums of products). For example, a compound in DNF would be:
(A ^ B) v (~C) v (~C ^ C ^ ~A) v (B)
The following is not in DNF:
(A v B) v (C)
Any compound can be written in DNF.
Now if somebody could only tell me the HTML tags for "or" and "and"... v and ^ just don't cut it.