Source : Free On-Line Dictionary of Computing

Disjunctive Normal Form
     
        (DNF) A logical formula consisting of a {disjunction} of
        {conjunction}s 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)