Given the following two statements:

$\left(S_1\right)\mathit{:}\mathit{(}q\mathit{\vee }p\mathit{)}\mathit{\to }\mathit{(}p\mathit{\leftrightarrow \sim }q\mathit{)}$ is a tautology. 

$\left({\mathrm{S}}_2\right):\sim \mathrm{q}\wedge (~\mathrm{p}\leftrightarrow \mathrm{q})$ s a fallacy. Then

• A

  both (S₁) and (S₂) are not correct

• B

  only (S₁) is correct

• C

  both (S₁) and (S₂) are  correct

• D

  only (S₂) is correct