The negation of the statement "Two lines are parallel if and only if they have the same slope" is

Consider the following statements:
$S_1:$ Negation of $\left(~p\to q\right)$ is $\left[~\left(p\vee q\right)\right]\wedge \left[p\vee \left(~p\right)\right]$.
$S_2:$ Negation of $\left(p\leftrightarrow q\right)$ is $\left(p\wedge ~q\right)\vee \left(~p\wedge q\right)$.
$S_3:$ Negation of $\left(p\vee q\right)$ is $~p\wedge ~q$
$S_4: p\leftrightarrow q$ is equivalent to $\left(~p\vee q\right)\wedge \left(p\vee ~q\right)$.
State, in order, whether $S_1,{ S}_2,{ S}_3 \text{and} S_4$ are true or false.

Let  $p:$ you got a seat in IIT

$q:$ you got selected in BITS

The statement " you got a seat in both IIT and BITS " is represented by