Which of the following statement pattern is a tautology ? (A) $p \vee(q \rightarrow p)$ (B) $\sim q \rightarrow \sim p$ (C) $(q \rightarrow p) \vee(\sim p \leftrightarrow q)$ (D) $p \wedge \sim p$