1.
Among the statements:
(S1):((pq)r)(pr)(S_1): ((p \lor q) \Rightarrow r) \Leftrightarrow (p \Rightarrow r)
(S2):((pq)r)((pr)(qr))(S_2): ((p \lor q) \Rightarrow r) \Leftrightarrow ((p \Rightarrow r) \lor (q \Rightarrow r))