Question

Show that each of these conditional statements is a tautology by using truth tables.
a) [~p^(pvq)]-> q
b) [(p -> q)^(q -> r)] -> (p->r)
c) [p^(p->q)]->q
d) [(pvq)^(p->r)^(q->r)]->r