A propositional formula is a DNF formulaMathworldPlanetmathPlanetmath, meaning Disjunctive Normal FormMathworldPlanetmath, if it is a disjunctionMathworldPlanetmath of conjunctionsMathworldPlanetmath of literalsMathworldPlanetmath (a literal is a propositional variable or its negationMathworldPlanetmath). Hence, a DNF is a formula of the form: K1K2Kn, where each Ki is of the form li1li2lim for literals lij and some m which can vary for each Ki.

Example: (xy¬z)(y¬w¬u)(xv).

Title DNF
Canonical name DNF
Date of creation 2013-03-22 14:14:08
Last modified on 2013-03-22 14:14:08
Owner rspuzio (6075)
Last modified by rspuzio (6075)
Numerical id 4
Author rspuzio (6075)
Entry type Definition
Classification msc 03B05
Synonym disjunctive normal form
Related topic CNF
Related topic AtomicFormula