JEE Previous Year Question

Given the following two statements:
$\left(s_1\right)\text{:}\left(q\text{∨}p\right)\to \left(p\text{↔}\text{∼}q\right)$is a tautology:
$\left(s_2\right)\text{:}\text{∼}q\text{∧}\left(\text{∼}p\text{↔}q\right)$is a fallacy. Then :

Topic: JEE PYQ

Answer: D. Full step-by-step solution below.