For the statements \( p \) and \( q \), consider the following compound statements: (a) \( (\sim q \land (p \to q)) \to \sim p \) (b) \( ((p \lor q) \land \sim p) \to q \) Then which of the following statements is correct?
(a) and (b) both are not tautologies
(a) and (b) both are tautologies
(b) is a tautology but not (a)
(a) is a tautology but not (b)