1.
Among the statements:
(S1):((p∨q)⇒r)⇔(p⇒r)(S_1): ((p \lor q) \Rightarrow r) \Leftrightarrow (p \Rightarrow r)
(S2):((p∨q)⇒r)⇔((p⇒r)∨(q⇒r))(S_2): ((p \lor q) \Rightarrow r) \Leftrightarrow ((p \Rightarrow r) \lor (q \Rightarrow r))