Which of the following statement patterns is a tautology?

Let $p, q, r$ be three logical statements. Consider the compound statements $S_{1}: ((\sim p) \vee q) \vee ((\sim p) \vee r)$ and $S_{2}: p \rightarrow (q \vee r)$. Then,which of the following is $NOT$ true?

Which of the following is the negation of the statement "For all $M > 0$,there exists $x \in S$ such that $x \geqslant M$"?

The given circuit is equivalent to:

If $p$ and $q$ are true statements and $r$ is a false statement,then which of the following statements is true?

The contrapositive of $(p \vee q) \Rightarrow r$ is