Let \( p \) and \( q \) be any two propositions. Consider the following propositional statements.
S1: \( p \rightarrow q \), S2: \( \neg p \land q \), S3: \( \neg p \lor q \), S4: \( \neg p \lor \neg q \)
where \( \land \) denotes conjunction (AND operation), \( \lor \) denotes disjunction (OR operation), and \( \neg \) denotes negation (NOT operation).
(Note: \( \equiv \) denotes logical equivalence)
Which one of the following options is correct?