## You are here

HomeDNF

## Primary tabs

# DNF

A propositional formula is a DNF formula, meaning Disjunctive Normal Form, if it is a disjunction of conjunctions of literals (a literal is a propositional variable or its negation). Hence, a DNF is a formula of the form: $K_{1}\vee K_{2}\vee\ldots\vee K_{n}$, where each $K_{i}$ is of the form $l_{{i1}}\wedge l_{{i2}}\wedge\ldots\wedge l_{{im}}$ for literals $l_{{ij}}$ and some $m$ which can vary for each $K_{i}$.

Example: $(x\wedge y\wedge\neg z)\vee(y\wedge\neg w\wedge\neg u)\vee(x\wedge v)$.

Related:

CNF, AtomicFormula

Synonym:

disjunctive normal form

Type of Math Object:

Definition

Major Section:

Reference

## Mathematics Subject Classification

03B05*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections