વિધાન પેટર્ન $[(p \land q) \to (\sim p \lor r)] \lor [(\sim p \lor r) \to (p \land q)]$ એ

વિધાન ધ્યાનમાં લો: "પૂર્ણાંક $n$ માટે,જો $n^{3}-1$ બેકી હોય,તો $n$ એકી છે." આ વિધાનનું પ્રતિ-ધન (contrapositive) વિધાન શું છે?

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

વિધાન $p \to (p \leftrightarrow q)$ એ તાર્કિક રીતે કોના સમકક્ષ છે :-

ધારો કે $a: \sim(p \wedge \sim r) \vee(\sim q \vee s)$ અને $b: (p \vee s) \leftrightarrow(q \wedge r)$. જો $p$ અને $q$ ના સત્ય મૂલ્યો $T$ હોય અને $r$ અને $s$ ના સત્ય મૂલ્યો $F$ હોય,તો $a$ અને $b$ ના સત્ય મૂલ્યો અનુક્રમે... છે.

$p \Leftrightarrow q$ નું તાર્કિક સમકક્ષ શું છે :-