વિધાન $-I :$  $\sim (p\leftrightarrow q)$ એ $(p\wedge \sim  q)\vee \sim  (p\vee \sim  q)$                        ને સમાન છે 
વિધાન $-II :$  $p\rightarrow (p\rightarrow q)$ એ હમેશા સત્ય છે 

વિધાન $( p \wedge q ) \Rightarrow( p \wedge r )$ ને . . .. તુલ્ય છે. 

વિધાન $((A \wedge(B \vee C)) \Rightarrow(A \vee B)) \Rightarrow A$ નું નિષેધ $.........$ છે.

જો $p, q$, અને $r$ એ ત્રણ વિધાનો હોય, તો $p, q$, અને $r$ ના સત્ય મૂલ્યો માટે નીચેના પૈકી કયું સંયોજન તાર્કીક વિધાન $\{(p \vee q) \wedge((\sim p) \vee r)\} \rightarrow((\sim q) \vee r)$ ને ખોટુ બનાવે છે ?

બુલિયન સમીકરણ  $( p \Rightarrow q ) \wedge( q \Rightarrow \sim p )$ એ . . . ને તુલ્ય છે .

 $p$ અને $q$ એ કોઈ પણ બે તાર્કિક વિધાનો અને $r:p \to \left( { \sim p \vee q} \right)$ છે જો $r$ નું સત્યાર્થતાનું મુલ્ય $F$ હોય તો વિધાન $p$ અને $q$ નું અનુક્રમે તાર્કિક સત્યાર્થતાનું મુલ્ય ............. થાય