નીચેનામાંથી કયું વિધાન ખુલ્લું વિધાન (open statement) છે?

વિધાન $p \lor q$ ના પ્રતિવિધાન (converse) નું નિષેધ (negation) શું છે?

નીચેનામાંથી કયું બુલિયન પદાવલિ (Boolean expression) નિત્યસત્ય (tautology) નથી?

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

$\sim s \vee (\sim r \wedge s)$ નું નિષેધ (negation) કોના સમકક્ષ છે?

નીચેનામાંથી કયું બુલિયન પદાવલિ (Boolean expression) એક 'tautology' છે?