For the statements p and q, consider the following compound statements:
(a) (~q∧(p → q)) → ~p
(b) ((p∨q))∧~p) → q
Then which of the following statements is correct?
1
(a) is a tautology but not (b)
2
(a) and (b) both are not tautologies
3
(a) and (b) both are tautologies
4
(b) is a tautology but not (a)