Among the two statements
\( (S1): (p \Rightarrow q) \land \left(p \land (\sim q)\right) \) is a contradiction and
\( (S2): (p \land q) \lor \left((\sim p) \land q\right) \lor \left(p \land (\sim q)\right) \lor \left((\sim p) \land (\sim q)\right) \) is a tautology.
