Among the two statements\\
$\left( S _ { 1 } \right) : ( p \Rightarrow q ) \wedge ( p \wedge ( \sim q ) )$ is a contradiction and $\left( S _ { 2 } \right) : ( p \wedge q ) \vee ( ( \sim p ) \wedge q ) \vee ( p \wedge ( \sim q ) ) \vee ( ( \sim p ) \wedge ( \sim q ) )$ is a tautology\\
(1) only ( $S _ { 2 }$ ) is true\\
(2) only ( $S _ { 1 }$ ) is true\\
(3) both are false\\
(4) both are true