Which of the following is a tautology ?
(1) $(\sim p)\land(p\lor q)\to q$
(2) $(q\to p)\ \lor\sim(p\to q)$
(3) $(\sim q)\lor(p\land q)\to q$
(4) $(p\to q)\land(q\to p)$
(1) $(\sim p)\land(p\lor q)\to q$
(2) $(q\to p)\ \lor\sim(p\to q)$
(3) $(\sim q)\lor(p\land q)\to q$
(4) $(p\to q)\land(q\to p)$