For primitive statements p, q,
(a) Verify that p → [q → (p ∧ q)] is a tautology.
(b) Verify that (p ∨ q) → [q → q] is a tautology by using the result from part (a) along with the substitution rules and the laws of logic.
(c) Is (p ∨ q) → [q → (p ∧ q)] a tautology?