નીચેનામાંથી કઈ વિધાન રચના નિત્યસત્ય (tautology) છે?
$S_{1} \equiv \sim p \rightarrow (q \leftrightarrow p)$
$S_{2} \equiv \sim p \vee \sim q$
$S_{3} \equiv (p$ $\rightarrow q) \wedge (q$ $\rightarrow p)$
$S_{4} \equiv (q \rightarrow p) \vee (\sim p \leftrightarrow q)$

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