$p \Rightarrow (q \Rightarrow p) = ( \sim p) \vee (q \Rightarrow p) =  \sim \;p \vee (\; \sim q \vee p)$

$ = ({\rm{\backslash }}\;p \vee p) \vee ( \sim q) = t \vee ( \sim \;q) = t$

વળી $p \Rightarrow  (p \Leftrightarrow  q ) $

$ = {\rm{ }} \sim \;p \vee (p \Leftrightarrow q) = p \vee [( \sim p \Rightarrow q) \wedge (q \Rightarrow p)]$

$ = p \vee [( \sim p \vee q) \wedge ( \sim \;q \vee p)] = [ \sim p \vee ( \sim \;p \vee q)][ \sim \;p \vee ( \sim q \vee p)]$

$ = [( \sim \;p \vee {\rm{ }} \sim \;p) \vee q][( \sim \;p \vee p) \vee q] = ( \sim p \vee q) \wedge [t \wedge q]$

$ = [( \sim \;p \vee {\rm{ }} \sim \;p) \vee q][( \sim p \vee p) \vee q] = ( \sim \;p \vee q) \wedge [t \wedge q]$

વળી  $p \Rightarrow  (p \Rightarrow  q)$

$= \sim  p \vee (p \Rightarrow  q) = \sim  p \vee (\sim  p \vee q) = \sim  p \vee q = p \Rightarrow  q$

વળી  $p \Rightarrow  (p \vee q)$

$= \sim  p \vee (p \vee q) = (\sim  p \vee p) \vee q = t \vee q = t$

વળી $ p \Rightarrow  (p \wedge  q)$

$= \sim  p \vee (p \wedge  q) = (\sim  p \vee p) (\sim  p \vee q)$

$= t \wedge  (\sim  p \vee q) = \sim  p \vee q = p \Rightarrow  q$

વિધાન $p \Rightarrow  (q \Rightarrow  p)$ એ $p \Rightarrow  (p \vee q)$ સાથે તાર્કિક રીતે સમાન છે.