નીચેનામાંથી કયું વિધાન સાચું છે?
$(a)$ $S_1: (p \wedge q) \equiv \sim(p \rightarrow \sim q)$
$(b)$ $S_2: (p \wedge q) \wedge (\sim p \vee \sim q)$ એ નિત્યસત્ય (tautology) છે
$(c)$ $S_3: [p \wedge (p$ $\rightarrow \sim q)]$ $\rightarrow q$ એ વિરોધાભાસ (contradiction) છે
$(d)$ $S_4: p$ $\rightarrow (q$ $\rightarrow p)$ એ આકસ્મિક (contingency) છે

• A
  વિધાન $S_3$ સાચું છે
• B
  વિધાન $S_1$ સાચું છે
• C
  વિધાન $S_1$ અને $S_2$ સાચા છે
• D
  વિધાન $S_4$ સાચું છે