If p and q are two statements then which of the following is a tautology?

A

$$(p \rightarrow q) \vee p$$

B

$$(p \leftrightarrow q) \vee p$$

C

$$(p \rightarrow q) \wedge p \leftrightarrow q $$

D

$$\left[(p \rightarrow q) \vee p\right] \leftrightarrow q $$