निम्नलिखित में से कौन सा कथन पैटर्न एक विरोधाभास (contradiction) है?
$S_{1} \equiv (p \rightarrow q) \wedge (p \wedge \sim q)$
$S_{2} \equiv [p \wedge (p$ $\rightarrow q)]$ $\rightarrow q$
$S_{3} \equiv (p \vee q) \rightarrow \sim p$
$S_{4} \equiv [p \wedge (p \rightarrow q)] \leftrightarrow q$

• A
  $S_{1}$
• B
  $S_{2}$
• C
  $S_{3}$
• D
  $S_{4}$