Among the statements:\( (S1) \; ((p \lor q) \Rightarrow r) \Leftrightarrow (p \Rightarrow r) \)\( (S2) \; ((p \lor q) \Rightarrow r) \Leftrightarrow ((p \Rightarrow r) \lor (q \Rightarrow r)) \)
both \( (S1) \) and \( (S2) \) are tautologies
only \( (S2) \) is a tautology
only \( (S1) 4\) is a tautology
neither \( (S1) \) nor \( (S2) \) is a tautology