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

બુલિયન બહુપદી $p \Leftrightarrow( q \Rightarrow p )$ નું નિષેધ કરો .

નીયે પ્રમાણે બે વિધાનો વિચારો :

$P_1: \sim( p \rightarrow \sim q )$

$P_2:( p \wedge \sim q ) \wedge((\sim p ) \vee q )$

જો વિધાન $p \rightarrow((\sim p ) \vee q )$ નું મુલ્યાંકન  $FALSE$ થતું હોય, તો :

વિધાન $\sim p \wedge(p \vee q)$ નું નિષેધ ...... છે.

$(p\rightarrow q) \leftrightarrow (q \vee  ~ p)$  એ 

વિધાન $(p \wedge(\sim q)) \Rightarrow(p \Rightarrow(\sim q))$ એ