Chapter 47 Proving equivalences
47.1 Substitutability of equivalents
Recall from section 12.2 that $\mathcal{P}$ and $\mathcal{Q}$ are equivalent (in TFL) iff, for every valuation, their truth values agree. We have seen many examples of this and used both truth tables and natural dedcution proofs to establish such equivalences. In chapter 45 we’ve even proved that ever sentence of TFL is equivalent to one in conjunctive and one in disjunctive normal form. If $\mathcal{P}$ and $\mathcal{Q}$ are equivalent, they always have the same truth value, either one entails the other, and from either one you can prove the other.
Equivalent sentences are not the same, of course: the sentences $\mathrm{\neg}\mathrm{\neg}A$ and $A$ may always have the same truth value, but the first starts with the ‘$\mathrm{\neg}$’ symbol while the second doesn’t. But you may wonder if it’s always true that we can replace one of a pair of equivalent sentences by the other, and the results will be equivalent, too. For instance, consider $\mathrm{\neg}\mathrm{\neg}A\to B$ and $A\to B$. The second results from the first by replacing ‘$\mathrm{\neg}\mathrm{\neg}A$’ by ‘$A$’. And these two sentences are also equivalent.
This is a general fact, and it is not hard to see why it is true. In any valuation, we compute the truth value of a sentence “from the inside out.” So when it comes to determining the truth value of ‘$\mathrm{\neg}\mathrm{\neg}A\to B$’, we first compute the truth value of ‘$\mathrm{\neg}\mathrm{\neg}A$’, and the truth value of the overall sentence then just depends on that truth value (true or false, as the case may be) and the rest of the sentence (the truth value of ‘$B$’ and the truth table for ‘$\to $’). But since ‘$\mathrm{\neg}\mathrm{\neg}A$’ are equivalent, they always have the same truth value in a given valuation—hence, replacing ‘$\mathrm{\neg}\mathrm{\neg}A$’ by ‘$A$’ cannot change the truth value of the overall sentence. The same of course is true for any other sentence equivalent to ‘$\mathrm{\neg}\mathrm{\neg}A$’, say, ‘$A\wedge (A\vee A)$’.
To state the result in general, let’s use the notation $\mathcal{R}(\mathcal{P})$ to mean a sentence which contains the sentence $\mathcal{P}$ as a part. Then by $\mathcal{R}(\mathcal{Q})$ we mean the result of replacing the occurrence of $\mathcal{P}$ by the sentence $\mathcal{Q}$. For instance, if $\mathcal{P}$ is the sentence letter ‘$A$’, $\mathcal{Q}$ is the sentence ‘$\mathrm{\neg}\mathrm{\neg}A$’, and $\mathcal{R}(\mathcal{P})$ is ‘$A\to B$’, then $\mathcal{R}(\mathcal{Q})$ is ‘$\mathrm{\neg}\mathrm{\neg}A\to B$’.
If $\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{P}$}$ and $\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{Q}$}$ are equivalent, then so are $\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{R}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$($}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{P}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$)$}$ and $\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{R}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$($}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{Q}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$)$}$.
It follows from this fact that any sentence of the form $\mathcal{R}(\mathcal{P})\leftrightarrow \mathcal{R}(\mathcal{Q})$, where $\mathcal{P}$ and $\mathcal{Q}$ are equivalent, is a tautology. However, the proofs in natural deduction will be wildly different for different $\mathcal{R}$. (As an exercise, give proofs that show that
$\u22a2(\mathrm{\neg}\mathrm{\neg}P\to Q)\leftrightarrow (P\to Q)\text{and}$  
$\u22a2(\mathrm{\neg}\mathrm{\neg}P\wedge Q)\leftrightarrow (P\wedge Q)$ 
and compare the two.)
Here is another fact: if two sentences $\mathcal{P}$ and $\mathcal{Q}$ are equivalent, and you replace some sentence letter in both $\mathcal{P}$ and $\mathcal{Q}$ by the same sentence $\mathcal{R}$, the results are also equivalent. For instance, if you replace ‘$A$’ in both ‘$A\wedge B$’ and ‘$B\wedge A$’ by, say, ‘$\mathrm{\neg}C$’, you get ‘$\mathrm{\neg}C\wedge B$’ and ‘$B\wedge \mathrm{\neg}C$’, and those are equivalent. We can record this, too:
Equivalence is preserved under replacement of sentence letters, i.e., if $\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{P}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$($}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$A$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$)$}$ and $\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{Q}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$($}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$A$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$)$}$ both contain the sentence letter ‘$\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$A$}$’ and are equivalent, then the sentences $\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{P}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$($}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{R}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$)$}$ and $\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{Q}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$($}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{R}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$)$}$ (resulting by replacing ‘$\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$A$}$’ by $\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{R}$}$ in both) are also equivalent.
This means that once we have shown that two sentence are equivalent (e.g., ‘$\mathrm{\neg}\mathrm{\neg}A$’ and ‘$A$’, or ‘$A\wedge B$’ and ‘$B\wedge A$’) we know that all their common “instances” are also equivalent. Note that we do not immediately get this from a truth table or a natural deduction proof. E.g., a truth table that shows that ‘$\mathrm{\neg}\mathrm{\neg}A$’ and ‘$A$’ are equivalent does not also show that ‘$\mathrm{\neg}\mathrm{\neg}(B\to C)$’ and ‘$B\to C$’ are equivalent: the former needs just 2 lines, the latter 4.
47.2 Chains of equivalences
When you want to verify that two sentences are equivalent, you can of course do a truth table, or look for a formal proof. But there is a simpler method, based on the principle of substitutability of equivalents we just discussed: Armed with a small catalog of simple equivalences, replace parts of your first sentence by equivalent parts, and repeat until you reach your second sentence.
This method of showing sentences equivalent is underwritten by the two facts from the previous section. The first fact tells us that if, say, $\mathrm{\neg}\mathrm{\neg}\mathcal{P}$ and $\mathcal{P}$ are equivalent (for any sentence $\mathcal{P}$), then replacing $\mathrm{\neg}\mathrm{\neg}\mathcal{P}$ in a sentence by $\mathcal{P}$ results in an equivalent sentence. The second fact tells us that $\mathrm{\neg}\mathrm{\neg}\mathcal{P}$ and $\mathcal{P}$ are always equivalent, for any sentence $\mathcal{P}$. (A simple truth table shows that ‘$\mathrm{\neg}\mathrm{\neg}A$’ and ‘$A$’ are equivalent.) By the second fact we know that whenever we replace ‘$A$’ in both ‘$\mathrm{\neg}\mathrm{\neg}A$’ and ‘$A$’ by some sentence $\mathcal{P}$, we get equivalent results. In other words, from the fact that ‘$\mathrm{\neg}\mathrm{\neg}A$’ and ‘$A$’ are equivalent and the second fact, we can conclude that, for any sentence $\mathcal{P}$, $\mathrm{\neg}\mathrm{\neg}\mathcal{P}$ and $\mathcal{P}$ are equivalent.
Let’s give an example. By De Morgan’s Laws, the following pairs of sentences are equivalent:
$\mathrm{\neg}(A\wedge B)$  $\iff (\mathrm{\neg}A\vee \mathrm{\neg}B)$  
$\mathrm{\neg}(A\vee B)$  $\iff (\mathrm{\neg}A\wedge \mathrm{\neg}B)$ 
This can be verified by constructing two truth tables, or four natural deduction proofs that show:
$\mathrm{\neg}(A\wedge B)$  $\u22a2(\mathrm{\neg}A\vee \mathrm{\neg}B)$  
$(\mathrm{\neg}A\vee \mathrm{\neg}B)$  $\u22a2\mathrm{\neg}(A\wedge B)$  
$\mathrm{\neg}(A\vee B)$  $\u22a2(\mathrm{\neg}A\wedge \mathrm{\neg}B)$  
$(\mathrm{\neg}A\wedge \mathrm{\neg}B)$  $\u22a2\mathrm{\neg}(A\vee B)$ 
By the second fact, any pairs of sentences of the following forms are equivalent:
$\mathrm{\neg}(\mathcal{P}\wedge \mathcal{Q})$  $\iff (\mathrm{\neg}\mathcal{P}\vee \mathrm{\neg}\mathcal{Q})$  
$\mathrm{\neg}(\mathcal{P}\vee \mathcal{Q})$  $\iff (\mathrm{\neg}\mathcal{P}\wedge \mathrm{\neg}\mathcal{Q})$ 
Now consider the sentence ‘$\mathrm{\neg}(R\vee (S\wedge T))$’. We will find an equivalent sentence in which all ‘$\mathrm{\neg}$’ signs attach directly to sentence letters. In the first step, we consider this as a sentence of the form $\mathrm{\neg}(\mathcal{P}\vee \mathcal{Q})$—then $\mathcal{P}$ is the sentence ‘$R$’ and $\mathcal{Q}$ is ‘$(S\wedge T)$’. Since $\mathrm{\neg}(\mathcal{P}\vee \mathcal{Q})$ is equivalent to $(\mathrm{\neg}\mathcal{P}\wedge \mathrm{\neg}\mathcal{Q})$ (by the second of De Morgan’s Laws) we can replace the entire sentence by $(\mathrm{\neg}\mathcal{P}\wedge \mathrm{\neg}\mathcal{Q})$. In this case (where $\mathcal{P}$ is ‘$R$’ and $\mathcal{Q}$ is ‘$(S\wedge T)$’) we obtain ‘$(\mathrm{\neg}R\wedge \mathrm{\neg}(S\wedge T))$’. This new sentence contains as a part the sentence ‘$\mathrm{\neg}(S\wedge T)$’. It is of the form $\mathrm{\neg}(\mathcal{P}\wedge \mathcal{Q})$, except now $\mathcal{P}$ is the sentence letter ‘$S$’ and $\mathcal{Q}$ is ‘$T$’. By De Morgan’s Law (the first one this time), this is equivalent to $(\mathrm{\neg}\mathcal{P}\vee \mathrm{\neg}\mathcal{Q})$, or in this specific case, to ‘$(\mathrm{\neg}S\vee \mathrm{\neg}T)$’. So we can replace the part ‘$\mathrm{\neg}(S\wedge T)$’ by ‘$(\mathrm{\neg}S\vee \mathrm{\neg}T)$’. This now results in the sentence ‘$(\mathrm{\neg}R\wedge (\mathrm{\neg}S\vee \mathrm{\neg}T))$’, in which the ‘$\mathrm{\neg}$’ symbols all attach directly to sentence letters. We’ve “pushed” the negations inwards as far as possible. We can record such a chain of equivalences by listing the individual steps, and recording, just as we do in natural deduction, which basic equivalence we use in each case:
$\mathrm{\neg}$($R$ $\vee $$(S\wedge T)$)  
($\mathrm{\neg}$($R$ $\wedge $$\mathrm{\neg}$$(S\wedge T)$)  DeM  
$(\mathrm{\neg}(R\wedge \overline{)\mathrm{\neg}(S\wedge T)})$  
$(\mathrm{\neg}(R\wedge \overline{)(\mathrm{\neg}S\vee \mathrm{\neg}T)})$  DeM 
We’ve highlighted the sentence replaced, and those matching the $\mathcal{P}$ and $\mathcal{Q}$ in De Morgan’s Laws for clarity, but this is not necessary, and we won’t keep doing it.
In table 47.1 we’ve given a list of basic equivalences you can use for such chains of equivalences. The labels abbreviate the customary name for the respective logical laws: double negation (DN), De Morgan (DeM), commutativity (Comm), distributivity (Dist), associativity (Assoc), idempotence (Id), and absorption (Abs).
$\mathrm{\neg}\mathrm{\neg}\mathcal{P}$  $\iff \mathcal{P}$  (DN)  
$(\mathcal{P}\to \mathcal{Q})$  $\iff (\mathrm{\neg}\mathcal{P}\vee \mathcal{Q})$  (Cond)  
$\mathrm{\neg}(\mathcal{P}\to \mathcal{Q})$  $\iff (\mathcal{P}\wedge \mathrm{\neg}\mathcal{Q})$  
$(\mathcal{P}\leftrightarrow \mathcal{Q})$  $\iff ((\mathcal{P}\to \mathcal{Q})\wedge (\mathcal{Q}\to \mathcal{P}))$  (Bicond)  
$\mathrm{\neg}(\mathcal{P}\wedge \mathcal{Q})$  $\iff (\mathrm{\neg}\mathcal{P}\vee \mathrm{\neg}\mathcal{Q})$  (DeM)  
$\mathrm{\neg}(\mathcal{P}\vee \mathcal{Q})$  $\iff (\mathrm{\neg}\mathcal{P}\wedge \mathrm{\neg}\mathcal{Q})$  
$(\mathcal{P}\vee \mathcal{Q})$  $\iff (\mathcal{Q}\vee \mathcal{P})$  (Comm)  
$(\mathcal{P}\wedge \mathcal{Q})$  $\iff (\mathcal{Q}\wedge \mathcal{P})$  
$(\mathcal{P}\wedge (\mathcal{Q}\vee \mathcal{R}))$  $\iff ((\mathcal{P}\wedge \mathcal{Q})\vee (\mathcal{P}\wedge \mathcal{R}))$  (Dist)  
$(\mathcal{P}\vee (\mathcal{Q}\wedge \mathcal{R}))$  $\iff ((\mathcal{P}\vee \mathcal{Q})\wedge (\mathcal{P}\vee \mathcal{R}))$  
$(\mathcal{P}\vee (\mathcal{Q}\vee \mathcal{R}))$  $\iff ((\mathcal{P}\vee \mathcal{Q})\vee \mathcal{R})$  (Assoc)  
$(\mathcal{P}\wedge (\mathcal{Q}\wedge \mathcal{R}))$  $\iff ((\mathcal{P}\wedge \mathcal{Q})\wedge \mathcal{R})$  
$(\mathcal{P}\vee \mathcal{P})$  $\iff \mathcal{P}$  (Id)  
$(\mathcal{P}\wedge \mathcal{P})$  $\iff \mathcal{P}$  
$(\mathcal{P}\wedge (\mathcal{P}\vee \mathcal{Q}))$  $\iff \mathcal{P}$  (Abs)  
$(\mathcal{P}\vee (\mathcal{P}\wedge \mathcal{Q}))$  $\iff \mathcal{P}$  
$(\mathcal{P}\wedge (\mathcal{Q}\vee \mathrm{\neg}\mathcal{Q}))$  $\iff \mathcal{P}$  (Simp)  
$(\mathcal{P}\vee (\mathcal{Q}\wedge \mathrm{\neg}\mathcal{Q}))$  $\iff \mathcal{P}$  
$(\mathcal{P}\vee (\mathcal{Q}\vee \mathrm{\neg}\mathcal{Q}))$  $\iff (\mathcal{Q}\vee \mathrm{\neg}\mathcal{Q})$  
$(\mathcal{P}\wedge (\mathcal{Q}\wedge \mathrm{\neg}\mathcal{Q}))$  $\iff (\mathcal{Q}\wedge \mathrm{\neg}\mathcal{Q})$ 
47.3 Finding equivalent normal forms
In chapter 45 we showed that every sentence of TFL is equivalent to one in disjunctive normal form (DNF) and to one in conjunctive normal form (CNF). We did this by giving a method to construct a sentences in DNF or CNF equivalent to the original sentence by first constructing a truth table, and then “reading off” a sentence in DNF or CNF from the truth table. This method has two drawbacks. The first one is that the resulting sentences in DNF or CNF are not always the shortest ones. The second one is that the method itself becomes hard to apply when the sentence you start with contains more than a handful of sentence letters (since the truth table for a sentence with $n$ sentence letters has ${2}^{n}$ lines).
We can use chains of equivalences as an alternative method: To find a sentence in DNF, we can successively apply basic equivalences until we have found an equivalent sentence that is in DNF. Recall the conditions a sentence in DNF must satisfy:

(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.
Condition (dnf1) says that we must remove all ‘$\to $’ and ‘$\leftrightarrow $’ symbols from a sentence. This is what the basic equivalences (Cond) and (Bicond) are good for. For instance, suppose we start with the sentence
$\mathrm{\neg}(A\wedge \mathrm{\neg}C)\wedge (\mathrm{\neg}A\to \mathrm{\neg}B).$  
We can get rid of the ‘$\to $’ by using (Cond). In this case $\mathcal{P}$ is ‘$\mathrm{\neg}A$’ and $\mathcal{Q}$ is ‘$\mathrm{\neg}B$’. We get:  
$\mathrm{\neg}(A\wedge \mathrm{\neg}C)\wedge (\mathrm{\neg}\mathrm{\neg}A\vee \mathrm{\neg}B)$  Cond  
The double negation can be removed, since ‘$\mathrm{\neg}\mathrm{\neg}A$’ is equivalent to ‘$A$’:  
$\mathrm{\neg}(A\wedge \mathrm{\neg}C)\wedge (A\vee \mathrm{\neg}B)$  DN  
Now condition (dnf1) is satisfied: our sentence contains only ‘$\mathrm{\neg}$’, ‘$\wedge $’, and ‘$\vee $’. Condition (dnf2) says that we must find a way to have all ‘$\mathrm{\neg}$’s apply immediately to sentence letters. But in the first conjunct it doesn’t. To ensure (dnf2) is satisfied, we use De Morgan’s Laws and the double negation (DN) law as many times as needed.  
$(\mathrm{\neg}A\vee \mathrm{\neg}\mathrm{\neg}C)\wedge (A\vee \mathrm{\neg}B)$  DeM  
$(\mathrm{\neg}A\vee C)\wedge (A\vee \mathrm{\neg}B)$  DN  
The resulting sentence is now in CNF—it is a conjunction of disjunctions of sentence letters and negated sentence letters. But we want a sentence in DNF, i.e., a sentence in which (dnf3) is satisfied: no ‘$\vee $’ occurs in the scope of an ‘$\wedge $’. We use the distributive laws (Dist) to ensure this. The last sentence is of the form $\mathcal{P}\wedge (\mathcal{Q}\vee \mathcal{R})$, where $\mathcal{P}$ is ‘$(\mathrm{\neg}A\vee C)$’, $\mathcal{Q}$ is ‘$A$’, and $\mathcal{R}$ is ‘$\mathrm{\neg}B$’. By applying (Dist) once we get:  
$((\mathrm{\neg}A\vee C)\wedge A))\vee ((\mathrm{\neg}A\vee C)\wedge \mathrm{\neg}B)$  Dist  
This looks worse, but if we keep going, it’s going to look better! The two disjuncts almost look like we can apply (Dist) again, except the ‘$\vee $’ is on the wrong side. This is what commutativity (Comm) is good for. let’s apply it to ‘$(\mathrm{\neg}A\vee C)\wedge A$’:  
$(A\wedge (\mathrm{\neg}A\vee C))\vee ((\mathrm{\neg}A\vee C)\wedge \mathrm{\neg}B)$  Comm  
We can apply (Dist) again to the resulting part, ‘$A\wedge (\mathrm{\neg}A\vee C)$’:  
$((A\wedge \mathrm{\neg}A)\vee (A\wedge C))\vee ((\mathrm{\neg}A\vee C)\wedge \mathrm{\neg}B)$  Dist  
Now in the left half, no ‘$\vee $’ is in the scope of an ‘$\wedge $’. Let’s apply the same principles to the right half:  
$((A\wedge \mathrm{\neg}A)\vee (A\wedge C))\vee (\mathrm{\neg}B\wedge (\mathrm{\neg}A\vee C))$  Comm  
$((A\wedge \mathrm{\neg}A)\vee (A\wedge C))\vee ((\mathrm{\neg}B\wedge \mathrm{\neg}A)\vee (\mathrm{\neg}B\wedge C))$  Dist  
Our sentence is now in DNF! But we can simplify it a bit: ‘$(A\wedge \mathrm{\neg}A)$’ is a contradiction in TFL, i.e., it is always false. And if you combine something that’s always false using ‘$\vee $’ with a sentence $\mathcal{P}$, you get something equivalent to just $\mathcal{P}$. This is the second of the simplification (Simp) rules.  
$((A\wedge C)\vee (A\wedge \mathrm{\neg}A))\vee ((\mathrm{\neg}B\wedge \mathrm{\neg}A)\vee (\mathrm{\neg}B\wedge C))$  Comm  
$(A\wedge C)\vee ((\mathrm{\neg}B\wedge \mathrm{\neg}A)\vee (\mathrm{\neg}B\wedge C))$  Simp 
The final result is still in DNF, but a bit simpler still. It is also much simpler than the DNF we would have obtained by the method of chapter 45. In fact, the sentence we started with could have been the $\mathcal{S}$ of section 45.2—it has exactly the truth table used as an example there. The DNF we found there (in section section 45.2), was (with all necessary brackets):
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 by giving a chain of equivalences. Use (Id), (Abs), and (Simp) to simplify your sentences as much as possible.