Disjunctive Normal Form


Also found in: Wikipedia.

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).
References in periodicals archive ?
A classically valid sequent of truth-functional logic is expressible as a sequent with a formula in conjunctive normal form as premise and one in disjunctive normal form as conclusion, thus (ibid.