વિધાન પેટર્ન $[p \lor (p \to q)] \to (p \land \sim q)$ નું પ્રતિધનાત્મક (contrapositive) શું છે?

• A
  $(p \land \sim q) \to [p \land (p \to q)]$
• B
  $(\sim p \land \sim q) \to [\sim p \land (p \to \sim q)]$
• C
  $(\sim p \lor q) \land [\sim p \lor (p \land \sim q)]$
• D
  $(\sim p \lor q) \to [\sim p \land (p \land \sim q)]$