Exercise 2.5.3: Using the laws of logic to prove tautologies. Use the laws of propositional logic to prove that each statement is a tautology (pad) -- (PV) (b) P-(-) (c) -var-p) (d) -(p9-9 (e) P -- (P-9)