Contrapositive of the statement “If two numbers are not equal, then their squares are not equals” is

Among the two statements

$(S1):$ $( p \Rightarrow q ) \wedge( q \wedge(\sim q ))$ is a contradiction and

$( S 2):( p \wedge q ) \vee((\sim p ) \wedge q ) \vee$

$( p \wedge(\sim q )) \vee((\sim p ) \wedge(\sim q ))$ is a tautology

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

The Boolean expression $\sim\left( {p\; \vee q} \right) \vee \left( {\sim p \wedge q} \right)$ is equivalent ot :

$\sim (p \wedge q)$ is equal to .....

Let $p, q, r$ denote arbitrary statements. Then the logically equivalent of the statement $p\Rightarrow (q\vee r)$ is