વિધાન $3+6 > 8$ અને $2+3 < 6$ નું નિષેધ શું છે?

શરતી વિધાન "જો વરસાદ પડશે,તો હું શાળાએ જઈશ" નું નિષેધ શું છે?

વિચારો
વિધાન-$1$: $(p \wedge \sim q) \wedge (\sim p \wedge q)$ એ વિરોધાભાસ (fallacy) છે.
વિધાન-$2$: $(p \rightarrow q) \leftrightarrow (\sim q \rightarrow \sim p)$ એ નિત્યસત્ય (tautology) છે.

નીચેનામાંથી કયું વિધાન સાચું છે?
$(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) છે

નીચેનામાંથી કયું વિધાન નિત્ય સત્ય (tautology) નથી?

નીચેનામાંથી કયું એક 'tautology' (નિત્યસત્ય) છે?