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

નીચેના વિધાનો પર વિચાર કરો:
$r: \text{જો } p \to q \text{ અસત્ય હોય, તો } p \lor q \text{ અસત્ય છે.}$
$s: \text{જો } p \leftrightarrow q \text{ અસત્ય હોય, તો } p \lor q \text{ અસત્ય છે.}$
$r \to s$ અને $s \to r$ ના સત્ય મૂલ્યો અનુક્રમે છે:

વિધાન $-1 :$ $\sim (p \leftrightarrow \sim q)$ એ $p \leftrightarrow q$ ને સમાન છે.
વિધાન $-2 :$ $\sim (p \leftrightarrow \sim q)$ એ એક નિત્યસત્ય (tautology) છે.

વિધાન $\sim(p \rightarrow \sim q)$ નું સમકક્ષ સ્વરૂપ $ . . . . . . $ છે.

વિધાન "દરેક વાસ્તવિક સંખ્યા $x$ માટે,$x^2+5$ ધન છે" નું નિષેધ શું છે?

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