જો બુલિયન બહુપદી  $( p \Rightarrow q ) \Leftrightarrow( q *(\sim p ))$ એ સંપૂર્ણ સત્ય હોય તો  $p *(\sim q )$ એ  . .  . . ને તુલ્ય છે.

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

$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$ થતું હોય, તો :

ધારો કે $p$ એ વિધાન $"x$ અસંમેય સંખ્યા છે$"$,

$q$ એ વિધાન $" y$ અબીજીય સંખ્યા છે $",$

અને $r$ એ વિધાન $"x $ સંમેય સંખ્યા છે $y$ અબીજીય સંખ્યા હોય તો$"$

વિધાન $- 1 : r$ એ $q$ અથવા $p$ સાથે સમતુલ્ય છે.

વિધાન $- 2 : r$ એ $(p \Leftrightarrow  \sim  q)$ સાથે સમતુલ્ય છે.

નીચેના પૈકી કયું વિધાન નિત્યસત્ય છે ?

નીચે પૈકીનું કયું વિધાન વિરોધી છે ?

વિધાન $p \rightarrow (q \rightarrow p)$ કોના સાથે સમતુલ્ય છે ?