નીચે આપેલ વિધાનોમાંથી કયું વિધાન 'ટોટોલોજી' (નિત્યસત્ય) છે?

• A
  $p$ $\rightarrow (p \land (p$ $\rightarrow q))$
• B
  $(p \land q)$ $\rightarrow (\sim p$ $\rightarrow q)$
• C
  $(p \land (p$ $\rightarrow q))$ $\rightarrow \sim q$
• D
  $p \lor (p \land q)$