બૂલીય વિધાન $(p \vee q) \Rightarrow((\sim r) \vee p)$ નું નિષેધ $\dots\dots\dots$ ને સમકક્ષ છે.

બુલીયન નિરૂપણ $\sim\left( {p\; \vee q} \right) \vee \left( {\sim p \wedge q} \right)$ એ . . . ને સમકક્ષ છે. .

જો વિધાન $(p \rightarrow q) \rightarrow (q \rightarrow r)$ એ અસત્ય હોય તો વિધાનો $p,q,r$ નું સત્યાર્થતા મૂલ્ય અનુક્રમે ......... થાય 

બે  વિધાનો ધ્યાનથી જુઓ.

$(\mathrm{S} 1):(\mathrm{p} \rightarrow \mathrm{q}) \vee(\sim \mathrm{q} \rightarrow \mathrm{p})$ એ સંપૂર્ણ સત્ય છે

$(S2): (\mathrm{p} \wedge \sim \mathrm{q}) \wedge(\sim \mathrm{p} \vee \mathrm{q})$ એ તર્કદોષી છે  

તો    .. . . . . 

જો $p$ અને $q$ એ બે વિધાનો હોય તો નીચેનામાંથી ક્યું વિધાન $p \to q$ ને તાર્કિક રીતે સમાન થાય 

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