નીચેનામાંથી કયું સત્ય નથી?

• A
  $(p \wedge \sim q) \leftrightarrow (p \rightarrow q)$ એ એક સ્વતઃસત્ય (tautology) છે
• B
  $((p \rightarrow q) \wedge (q \rightarrow r)) \rightarrow (p \rightarrow r)$ એ એક સ્વતઃસત્ય (tautology) છે
• C
  $p \rightarrow (q \wedge r) \equiv (p \rightarrow q) \wedge (p \rightarrow r)$
• D
  $\sim(p \leftrightarrow q) \equiv (p \wedge \sim q) \vee (\sim p \wedge q)$