Disjunctive Normal Form

from The Free On-line Dictionary of Computing (8 July 2008)

Disjunctive Normal Form

   (DNF) A logical formula consisting of a {disjunction} of
   {conjunctions} where no conjunction contains a disjunction.
   E.g. the DNF of (A or B) and C is (A and C) or (B and C).

   (1994-12-07)