Mathematical Reasoning

\((\mathrm{S} 1)~(p \Rightarrow q) \vee(p \wedge(\sim q))\) is a tautology

\((\mathrm{S} 2)~((\sim p) \Rightarrow(\sim q)) \wedge((\sim p) \vee q)\) is a contradiction.

Then