$(S1) (p \Rightarrow q) \vee (p \wedge (\sim q))$ is a tautology. $(S2) ((\sim p) \Rightarrow (\sim q)) \wedge ((\sim p) \vee q)$ is a contradiction. Then

The negation of $(p \land q) \to ((p \lor r) \to \sim q)$ is equivalent to ...

If the truth value of $[(p \lor q) \land (q \to r) \land (\sim r)] \to (p \land q)$ is false, then which of the following is $NOT$ true?

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 ))$

Consider the following statements:
$p$: If voltage increases, then current decreases.
$q$: If voltage does not increase, then current does not decrease.
$r$: If current decreases, then voltage increases.
$s$: If current does not decrease, then voltage does not increase.
Which of the following pairs of statements have the same meaning?

The statement pattern $[p$ $\rightarrow(q$ $\rightarrow p)]$ $\rightarrow[p$ $\rightarrow(p \vee q)]$ is