નીચેનામાંથી કયું વિધાન 'કન્ટિન્જન્સી' (contingency) છે?

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

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

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

વિધાન $(p \vee q) \wedge (q \vee (\sim r))$ નું નિષેધ શું છે?

નીચેનામાંથી કઈ વિધાન રચના નિત્યસત્ય (tautology) છે?
$S_{1} \equiv \sim p \rightarrow (q \leftrightarrow p)$
$S_{2} \equiv \sim p \vee \sim q$
$S_{3} \equiv (p$ $\rightarrow q) \wedge (q$ $\rightarrow p)$
$S_{4} \equiv (q \rightarrow p) \vee (\sim p \leftrightarrow q)$