ધારોકે ક્રિયાઓ *, $\odot \in\{\wedge, \vee\}$ છે. જો $( p * q ) \odot( p \odot \sim q )$ એ નિત્યસત્ય હોય, તો ક્રમયુક્ત જોડ $(*, \odot)=$ …………..

ધારોકે $p$ અને $q$ બે વિધાનો છે. તો $\sim\left(p_{\wedge}(p \Rightarrow \sim q)\right)=………….$

જો $S^*(p, q, r)$ એ સંયુક્ત વિધાન $S(p, q, r)$ અને $S(p, q, r) = \sim p \wedge  [\sim (q \vee r)]$ નું દ્વૈત હોય, તો $S^*(\sim p, \sim q, \sim r)$ એ કોના સાથે સમતુલ્યતા ધરાવે.

 $ \sim \left( {p\,\vee \sim q} \right) \vee  \sim \left( {p\, \vee q} \right)$ ગાણાતીય તર્ક ની રીતે ……….. સાથે સરખું થાય 

 $p$ અને $q$ એ કોઈ પણ બે તાર્કિક વિધાનો અને $r:p \to \left( { \sim p \vee q} \right)$ છે જો $r$ નું સત્યાર્થતાનું મુલ્ય $F$ હોય તો વિધાન $p$ અને $q$ નું અનુક્રમે તાર્કિક સત્યાર્થતાનું મુલ્ય …………. થાય