Dictionary.net

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

1985 - The Free On-line Dictionary of Computing
By Denis Howe