The statement \( (p \land (\sim q)) \Rightarrow (p \Rightarrow (\sim q)) \) is:
A contradiction
Equivalent to \( p \lor q \)
A tautology
Equivalent to \( (\sim p) \lor (\sim q) \)