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

તાર્કિક વિધાન $(p \lor q) \land [(\sim p \land q) \lor (p \land \sim q)] \land \sim q$ એ તાર્કિક રીતે કોના સમકક્ષ છે?

નીચેનામાંથી કયું/કયા વિધાન અસત્ય છે?
$S_1 : \exists n \in N$, એવું કે $n^2 + n + 2$ એ $4$ વડે વિભાજ્ય છે.
$S_2 : \exists x \in N$, એવું કે $x - 17 < 20$.
$S_3 : \forall n \in N, n^2 + 3n - 10 = 0$.
$S_4 : \forall n \in N, n^2 \ge 1$.

બુલિયન પદાવલિ $(p$ $\Rightarrow q) \wedge (q$ $\Rightarrow \sim p)$ એ કોના સમતુલ્ય છે?

ધારો કે $p$ અને $q$ બે વિધાનો છે. તો $\sim(p \wedge (p \Rightarrow \sim q))$ એ કોના સમકક્ષ છે?

નીચેનામાંથી કયું વાક્ય વિધાન છે? તમારા જવાબ માટે કારણો આપો.
$5$ અને $7$ નો સરવાળો $10$ કરતા વધારે છે.