Question

Convert the following expression to CNF (Conjunctive Normal Form) format using the propositional laws:

Answer 1

Answer:

See steps below

Step-by-step explanation:

a)

$(p\rightarrow q)\rightarrow r\Leftrightarrow \neg(\neg p\vee q)\vee r$ equivalence of (r implies s) with (not r or s)

$\neg(\neg p\vee q)\vee r\Leftrightarrow (\neg \neg p\wedge \neg q)\vee r$ De Morgan's Law

$(\neg \neg p\wedge \neg q)\vee r\Leftrightarrow (p\wedge \neg q)\vee r$ Double negation

$(p\wedge \neg q)\vee r\Leftrightarrow (p\vee r)\wedge (\neg q\vee r)$ Distributive Law

The last expression is in CNF.

b)

i)

Modus Ponens states the following,

If (p implies q) is true and p is true, then q is true.

By watching the truth table of implication

$\left[\begin{array}{ccc}p&q&p\rightarrow q\\T&T&T\\T&F&F\\F&T&T\\F&F&T\end{array}\right]$

We can notice that the only row that satisfies  

(p implies q) is true and p is true

is the first row, so q must be true.

ii)

Modus Tollens states that if (p implies q) is true and (not q) is true, then (not p) is true.

By watching the following truth table

$\left[\begin{array}{ccccc}p&q&\neg p&\neg q&p\rightarrow q\\T&T&F&F&T\\T&F&F&T&F\\F&T&T&F&T\\F&F&T&T&T\end{array}\right]$

We can notice that the only row that satisfies (p implies q) is true and (not q) is true, is the fourth row, so (not p) must be true.