निम्नलिखित में से कौन सा कथन सही है?
$(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$ सही है