(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.
both \( (S1) \) and \( (S2) \) are correct
both \( (S1) \) and \( (S2) \) are wrong
Only \( (S2) \) is correct
only \( (S1) \) is correct