Chapter 1.2, Problem 26E

To determine

(a)

To prove the assertion $p\wedge \left(q\vee r\right)\Rightarrow \left(p\wedge q\right)\vee \left(p\wedge r\right)$ is same as

$p\wedge \left(q\vee r\right)\Rightarrow \neg \left(p\wedge q\right)\to \left(p\wedge r\right)$.

To determine

(b)

Use the deduction method to write the tautology from part $\left(a\right)$.

To determine

(c)

Prove the rewritten tautology.