વિધાન $p$ અને $q$ માટે,નીચેના સંયુક્ત વિધાનોને ધ્યાનમાં લો :
$(a)$ $(\sim q \wedge (p$ $\rightarrow q))$ $\rightarrow \sim p$
$(b)$ $((p \vee q) \wedge \sim p) \rightarrow q$
તો નીચેનામાંથી કયું વિધાન સાચું છે?

• A
  $(a)$ અને $(b)$ બંને સ્વયંસત્ય (tautologies) નથી.
• B
  $(a)$ અને $(b)$ બંને સ્વયંસત્ય (tautologies) છે.
• C
  $(a)$ સ્વયંસત્ય છે પણ $(b)$ નથી.
• D
  $(b)$ સ્વયંસત્ય છે પણ $(a)$ નથી.