Disjunctive Normal Form
Reference work entry
First Online:
DOI: https://doi.org/10.1007/978-1-4899-7687-1_223
Disjunctive normal form is an important normal form for propositional logic. A logic formula is in disjunctive normal form if it is a single disjunction of conjunctions of (possibly negated) literals. No more nesting and no other negations are allowed. Examples are:
$$\displaystyle\begin{array}{rcl} & & a {}\\ & & \neg b {}\\ & & a \vee b {}\\ & & (a \wedge \neg b) \vee (c \wedge d) {}\\ & & \neg a \vee (b \wedge \neg c \wedge d) \vee (a \wedge \neg d) {}\\ \end{array}$$
Any arbitrary formula in propositional logic can be transformed into disjunctive normal form by application of the laws of distribution, De Morgan’s laws, and by removing double negations. It is important to note that this process can lead to exponentially larger formulas which implies that the process in the worst case runs in exponential time. An example for this behavior is the following formula given in conjunctive normal form (CNF), which is linear in the number of propositional variables in this form. When transformed into disjunctive normal form (DNF), its size is exponentially larger.
$$\displaystyle\begin{array}{rcl} & & \mathrm{CNF :}(a_{0}\,\vee \,a_{1})\,\wedge \,(a_{2}\,\vee \,a_{3})\,\wedge \,\cdots \,\,\wedge \,(a_{2n}\,\vee \,a_{2n+1}) {}\\ & & \mathrm{DNF :}(a_{0} \wedge a_{2} \wedge \cdots \wedge a_{2n}) \vee (a_{1} \wedge a_{2} \wedge \cdots {}\\ & & \wedge a_{2n}) \vee \cdots \vee (a_{1} \wedge a_{3} \wedge \cdots \wedge a_{2n+1}) {}\\ \end{array}$$
Recommended Reading
- Mendelson E (1997) Introduction to mathematical logic, 4th edn. Chapman & Hall, Princeton, p 30MATHGoogle Scholar
Copyright information
© Springer Science+Business Media New York 2017