Among the statements:

$(S1)$ $\quad(( p \vee q ) \Rightarrow r ) \Leftrightarrow( p \Rightarrow r )$

$(S2) \quad(( p \vee q ) \Rightarrow r ) \Leftrightarrow(( p \Rightarrow r ) \vee( q \Rightarrow r ))$

Let $*, \square \in\{\wedge, \vee\}$ be such that the Boolean expression $(\mathrm{p} * \sim \mathrm{q}) \Rightarrow(\mathrm{p} \square \mathrm{q})$ is a tautology. Then :

$\left( { \sim \left( {p \vee q} \right)} \right) \vee \left( { \sim p \wedge q} \right)$ is logically equivalent to 

Negation of $p \wedge( q \wedge \sim( p \wedge q ))$ is

Given the following two statements :

$\left( S _{1}\right):( q \vee p ) \rightarrow( p \leftrightarrow \sim q )$ is a tautology.

$\left( S _{2}\right): \sim q \wedge(\sim p \leftrightarrow q )$ is a fallacy.

Then

Let $\Delta, \nabla \in\{\wedge, \vee\}$ be such that $p \nabla q \Rightarrow(( p \nabla$q) $\nabla r$ ) is a tautology. Then (p $\nabla q ) \Delta r$ is logically equivalent to