વિધાન પેટર્ન $[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 \lor q) \to [ \sim p \land ( \sim p \lor \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)]$