વિધાન $-1$ : વિધાન $A \to (B \to A)$ એ વિધાન $A \to \left( {A \vee B} \right)$ ને સમતુલ્ય છે.

વિધાન $-2$ : વિધાન $ \sim \left[ {\left( {A \wedge B} \right) \to \left( { \sim A \vee B} \right)} \right]$ એ નિત્ય સત્ય છે 

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

ધારો કે $\Delta, \nabla \in\{\wedge, v\}$ એવાં છે કે જેથી $p$ $\nabla\,q \Rightarrow(( p \Delta q ) \nabla r )$ એ નિત્યસત્ય $(tautology)$ થાય.તો $( p \nabla q ) \Delta\,r$ એ $\dots\dots\dots$ને તાર્કિક રીતે સમકક્ષ છે.

જો $p$ અને $q $ એ અનુક્રમે વિધાન  $"2 × 4 = 8" $ અને "$4$ એ  $7$ વડે વિભાજય છે "  હોય તો નીચેના વિધાનોની સત્યર્થતાનું મૂલ્ય મેળવો 

$(i)$ $p \leftrightarrow  q$ 

$(ii)$ $~ p \leftrightarrow q$ 

$(iii)$ $~ q \leftrightarrow p$ 

$(iv)$ $~ p \leftrightarrow ~ q$

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

જો બુલિયન સમીકરણ $((\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}$ નું સત્યાર્થા મૂલ્ય અનુક્રમે . . . .