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

વિધાન $1$:$\left( {p \wedge \sim q} \right) \wedge \left( { \sim p \wedge q} \right)$ ફેલેસી છે.

વિધાન $2$:$(p \rightarrow q) \leftrightarrow ( \sim q \rightarrow   \sim  p )$  ટોટોલોજી છે.

‘‘જો સંખ્યાને $15$ વડે ભાગી શકાય તો તેને $5$ અને $3$ વડે પણ ભાગી શકાય’’ આ વિધાનનું નિષેધ

વિધાન $(p \wedge(\sim q) \vee((\sim p) \wedge q) \vee((\sim p) \wedge(\sim q))$ એ $........$ને સમકક્ષ છે.

જો $p \to ( \sim p\,\, \vee \, \sim q)$ અસત્ય હોય તો $p$ અને $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 ))$ નિત્યસત્ય છે.