Mathematical Reasoning

Among the statements

(S1) : \((p \Rightarrow q) \vee((\sim p) \wedge q)\) is a tautology

(S2) : \((q \Rightarrow p) \Rightarrow((\sim p) \wedge q)\) is a contradiction