The Free On-line Dictionary of Computing (30 December 2018):

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)