જો $P$ અને $Q$ બે વિધાનો હોય,તો નીચેનામાંથી કયું સંયુક્ત વિધાન નિત્યસત્ય (tautology) છે?

• A
  $(( P$ $\Rightarrow Q ) \wedge \sim Q )$ $\Rightarrow Q$
• B
  $(( P$ $\Rightarrow Q ) \wedge \sim Q )$ $\Rightarrow \sim P$
• C
  $(( P$ $\Rightarrow Q ) \wedge \sim Q )$ $\Rightarrow P$
• D
  $(( P$ $\Rightarrow Q ) \wedge \sim Q )$ $\Rightarrow ( P \wedge Q )$