$(p \wedge  \sim  q) (\sim  p \vee q)$ એ......

વિધાન $- I : (p \wedge  \sim q) \wedge  (\sim p \wedge  q)$ એ તર્કદોષી છે.

વિધાન $- II : (p \rightarrow q) \Leftrightarrow  (\sim  q \rightarrow \sim p)$ એ નિત્યસત્ય છે .

જો બુલિયન સમીકરણ $((\mathrm{p} \vee \mathrm{q}) \wedge(\mathrm{q} \rightarrow \mathrm{r}) \wedge(\sim \mathrm{r})) \rightarrow(\mathrm{p} \wedge \mathrm{q}) \quad$ નું સત્યાર્થા મૂલ્ય અસત્ય હોય તો વિધાન $\mathrm{p}, \mathrm{q}, \mathrm{r}$ નું સત્યાર્થા મૂલ્ય અનુક્રમે . . . . 

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

$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 \Leftrightarrow( q \Rightarrow p )$ નું નિષેધ કરો .