The negation of $p \wedge (q \rightarrow r)$ is

If the truth value of the compound statement $[(p \leftrightarrow q) \land (q \to r) \land \sim r] \to (p \land \sim q)$ is false, then the truth values of the statement patterns $(p \to q) \leftrightarrow (q \to r)$ and $\sim (p \lor r) \to (q \land p)$ are, respectively ...

If $p$ and $q$ are simple propositions,then $p \Rightarrow q$ is false when

The statement pattern $\sim(p \leftrightarrow \sim q)$ is

Which of the following statements is/are False?
$S_1: \exists n \in N, \text{ such that } n^2 + n + 2 \text{ is divisible by 4.}$
$S_2: \exists x \in N, \text{ such that } x - 17 < 20.$
$S_3: \forall n \in N, x^2 + 3x - 10 = 0.$
$S_4: \forall n \in N, n^2 \ge 1.$

The proposition $(\sim p) \vee (p \wedge \sim q)$ is equivalent to