Chapter 45 Normal forms
45.1 Disjunctive normal form
Sometimes it is useful to consider sentences of a particularly simple form. For instance, we might consider sentences in which $\mathrm{\neg}$ only attaches to atomic sentences, or those which are combinations of atomic sentences and negated atomic sentences using only $\wedge $. A relatively general but still simple form is that where a sentence is a disjunction of conjunctions of atomic or negated atomic sentences. When such a sentence is constructed, we start with atomic sentences, then (perhaps) attach negations, then (perhaps) combine using $\wedge $, and finally (perhaps) combine using $\vee $.
Let’s say that a sentence is in disjunctive normal form iff it meets all of the following conditions:

(dnf1)
No connectives occur in the sentence other than negations, conjunctions and disjunctions;

(dnf2)
Every occurrence of negation has minimal scope (i.e., any ‘$\mathrm{\neg}$’ is immediately followed by an atomic sentence);

(dnf3)
No disjunction occurs within the scope of any conjunction.
So, here are are some sentences in disjunctive normal form:
$A$  
$(A\wedge \mathrm{\neg}B\wedge C)$  
$(A\wedge B)\vee (A\wedge \mathrm{\neg}B)$  
$(A\wedge B)\vee (A\wedge B\wedge C\wedge \mathrm{\neg}D\wedge \mathrm{\neg}E)$  
$A\vee (C\wedge \mathrm{\neg}{P}_{234}\wedge {P}_{233}\wedge Q)\vee \mathrm{\neg}B$ 
Note that we have here broken one of the maxims of this book and temporarily allowed ourselves to employ the relaxed bracketingconventions that allow conjunctions and disjunctions to be of arbitrary length. These conventions make it easier to see when a sentence is in disjunctive normal form. We will continue to help ourselves to these relaxed conventions, without further comment.
To further illustrate the idea of disjunctive normal form, we will introduce some more notation. We write ‘$\pm \mathcal{A}$’ to indicate that $\mathcal{A}$ is an atomic sentence which may or may not be prefaced with an occurrence of negation. Then a sentence in disjunctive normal form has the following shape:
We now know what it is for a sentence to be in disjunctive normal form. The result that we are aiming at is:
Disjunctive Normal Form Theorem. For any sentence, there is an equivalent sentence in disjunctive normal form.
Henceforth, we will abbreviate ‘Disjunctive Normal Form’ by ‘DNF’.
45.2 Proof of DNF Theorem via truth tables
Our first proof of the DNF Theorem employs truth tables. We will first illustrate the technique for finding an equivalent sentence in DNF, and then turn this illustration into a rigorous proof.
Let’s suppose we have some sentence, $\mathcal{S}$, which contains three atomic sentences, ‘$A$’, ‘$B$’ and ‘$C$’. The very first thing to do is fill out a complete truth table for $\mathcal{S}$. Maybe we end up with this:
$A$  $B$  $C$  $\mathcal{S}$ 
T  T  T  T 
T  T  F  F 
T  F  T  T 
T  F  F  F 
F  T  T  F 
F  T  F  F 
F  F  T  T 
F  F  F  T 
As it happens, $\mathcal{S}$ is true on four lines of its truth table, namely lines 1, 3, 7 and 8. Corresponding to each of those lines, we will write down four sentences, whose only connectives are negations and conjunctions, where every negation has minimal scope:

1.
‘$A\wedge B\wedge C$’ which is true on line 1 (and only then)

2.
‘$A\wedge \mathrm{\neg}B\wedge C$’ which is true on line 3 (and only then)

3.
‘$\mathrm{\neg}A\wedge \mathrm{\neg}B\wedge C$’ which is true on line 7 (and only then)

4.
‘$\mathrm{\neg}A\wedge \mathrm{\neg}B\wedge \mathrm{\neg}C$’ which is true on line 8 (and only then)
We now combine all of these conjunctions using $\vee $, like so:
This gives us a sentence in DNF which is true on exactly those lines where one of the disjuncts is true, i.e., it is true on (and only on) lines 1, 3, 7, and 8. So this sentence has exactly the same truth table as $\mathcal{S}$. So we have a sentence in DNF that is logically equivalent to $\mathcal{S}$, which is exactly what we wanted!
Now, the strategy that we just adopted did not depend on the specifics of $\mathcal{S}$; it is perfectly general. Consequently, we can use it to obtain a simple proof of the DNF Theorem.
Pick any arbitrary sentence, $\mathcal{S}$, and let ${\mathcal{A}}_{1},\mathrm{\dots},{\mathcal{A}}_{n}$ be the atomic sentences that occur in $\mathcal{S}$. To obtain a sentence in DNF that is logically equivalent $\mathcal{S}$, we consider $\mathcal{S}$’s truth table. There are two cases to consider:

1.
$\mathcal{S}$ is false on every line of its truth table. Then, $\mathcal{S}$ is a contradiction. In that case, the contradiction $({\mathcal{A}}_{1}\wedge \mathrm{\neg}{\mathcal{A}}_{1})$ is in DNF and logically equivalent to $\mathcal{S}$.

2.
$\mathcal{S}$ is true on at least one line of its truth table. For each line $i$ of the truth table, let ${\mathcal{B}}_{i}$ be a conjunction of the form
$$(\pm {\mathcal{A}}_{1}\wedge \mathrm{\dots}\wedge \pm {\mathcal{A}}_{n})$$where the following rules determine whether or not to include a negation in front of each atomic sentence:

‣
${\mathcal{A}}_{m}$ is a conjunct of ${\mathcal{B}}_{i}$ iff ${\mathcal{A}}_{m}$ is true on line $i$.

‣
$\mathrm{\neg}{\mathcal{A}}_{m}$ is a conjunct of ${\mathcal{B}}_{i}$ iff ${\mathcal{A}}_{m}$ is false on line $i$.
Given these rules, ${\mathcal{B}}_{\U0001d4be}$ is true on (and only on) line $i$ of the truth table which considers all possible valuations of ${\mathcal{A}}_{1}$, …, ${\mathcal{A}}_{n}$ (i.e., $\mathcal{S}$’s truth table). Next, let ${i}_{1}$, ${i}_{2}$, …, ${i}_{m}$ be the numbers of the lines of the truth table where $\mathcal{S}$ is true. Now let $\mathcal{D}$ be the sentence:
$${\mathcal{B}}_{{i}_{1}}\vee {\mathcal{B}}_{{i}_{2}}\vee \mathrm{\dots}\vee {\mathcal{B}}_{{i}_{m}}$$Since $\mathcal{S}$ is true on at least one line of its truth table, $\mathcal{D}$ is indeed welldefined; and in the limiting case where $\mathcal{S}$ is true on exactly one line of its truth table, $\mathcal{D}$ is just ${\mathcal{B}}_{{i}_{1}}$, for some ${i}_{1}$. By construction, $\mathcal{D}$ is in DNF. Moreover, by construction, for each line $i$ of the truth table: $\mathcal{S}$ is true on line $i$ of the truth table iff one of $\mathcal{D}$’s disjuncts (namely, ${\mathcal{B}}_{\U0001d4be}$) is true on, and only on, line $i$. Hence $\mathcal{S}$ and $\mathcal{D}$ have the same truth table, and so are logically equivalent.

‣
These two cases are exhaustive and, either way, we have a sentence in DNF that is logically equivalent to $\mathcal{S}$.
So we have proved the DNF Theorem. Before we say any more, though, we should immediately flag that we are hereby returning to the austere definition of a (TFL) sentence, according to which we can assume that any conjunction has exactly two conjuncts, and any disjunction has exactly two disjuncts.
45.3 Conjunctive normal form
So far in this chapter, we have discussed disjunctive normal form. It may not come as a surprise to hear that there is also such a thing as conjunctive normal form (CNF).
The definition of CNF is exactly analogous to the definition of DNF. So, a sentence is in CNF iff it meets all of the following conditions:

(cnf1)
No connectives occur in the sentence other than negations, conjunctions and disjunctions;

(cnf2)
Every occurrence of negation has minimal scope;

(cnf3)
No conjunction occurs within the scope of any disjunction.
Generally, then, a sentence in CNF looks like this
where each ${\mathcal{A}}_{k}$ is an atomic sentence.
We can now prove another normal form theorem:
Conjunctive Normal Form Theorem. For any sentence, there is an equivalent sentence in conjunctive normal form.
Given a TFL sentence, $\mathcal{S}$, we begin by writing down the complete truth table for $\mathcal{S}$. If $\mathcal{S}$ is true on every line of the truth table, then $\mathcal{S}$ and $({\mathcal{A}}_{1}\vee \mathrm{\neg}{\mathcal{A}}_{1})$ are logically equivalent. If $\mathcal{S}$ is false on at least one line of the truth table then, for every line on the truth table where $\mathcal{S}$ is false, write down a disjunction $(\pm {\mathcal{A}}_{1}\vee \mathrm{\dots}\vee \pm {\mathcal{A}}_{n})$ which is false on (and only on) that line. Let $\mathcal{C}$ be the conjunction of all of these disjuncts; by construction, $\mathcal{C}$ is in CNF and $\mathcal{S}$ and $\mathcal{C}$ are logically equivalent.
Practice exercises
A. Consider the following sentences:

1.
$(A\to \mathrm{\neg}B)$

2.
$\mathrm{\neg}(A\leftrightarrow B)$

3.
$(\mathrm{\neg}A\vee \mathrm{\neg}(A\wedge B))$

4.
$(\mathrm{\neg}(A\to B)\wedge (A\to C))$

5.
$(\mathrm{\neg}(A\vee B)\leftrightarrow ((\mathrm{\neg}C\wedge \mathrm{\neg}A)\to \mathrm{\neg}B))$

6.
$((\mathrm{\neg}(A\wedge \mathrm{\neg}B)\to C)\wedge \mathrm{\neg}(A\wedge D))$
For each sentence, find an equivalent sentence in DNF and one in CNF.