Mathematical Reasoning

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 \to (q \vee r)\)

Then, which of the following is NOT true?