વિધાન $[(p \wedge  q) \rightarrow p] \rightarrow (q \wedge  \sim q)$  એ ……… છે 

જો $q$ એ મિથ્યા અને $p\, \wedge \,q\, \leftrightarrow \,r$ એ સાચું હોય તો નીચેનામાંથી ક્યું વિધાન નિત્ય સત્ય થાય ?

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

અહી $*, \square \in\{\wedge, \vee\}$ એ આપેલ છે કે જેથી બુલિયન સમીકરણ $(\mathrm{p} * \sim \mathrm{q}) \Rightarrow(\mathrm{p} \square \mathrm{q})$ સંપૂર્ણ સત્ય થાય છે તો . . . . 

બે વિધાનોમાં

$\left( S _1\right):( p \Rightarrow q ) \wedge( p \wedge(\sim q ))$ વિરોધાભાસ છે અને

$\left( S _2\right):( p \wedge q ) \vee((\sim p ) \wedge q ) \vee( p \wedge(\sim q )) \vee((\sim p ) \wedge(\sim q ))$ નિત્યસત્ય છે.