Consider:\\
S1: $p \Rightarrow q \vee (p \wedge \sim q)$ is a tautology.\\
S2: $\sim p \Rightarrow (\sim q \wedge \sim p) \vee q$ is a contradiction.\\
Then\\
(1) only S2 is correct\\
(2) both S1 and S2 are correct\\
(3) both S1 and S2 are wrong\\
(4) only S1 is correct