The statement \( \big(\sim(p \Leftrightarrow\sim q)\big)\land q \) is:
a tautology
a contradiction
equivalent to \( (p \Rightarrow q)\land q \)
equivalent to \( (p \Rightarrow q)\land p \)