用≡代替＜＝＞.用∟表示“否定”
((p∨q)→r)→p≡∟（（p∨q）→r）∨p≡∟（∟（p∨q）∨r）∨p
≡（（p∨q）∧∟r）∨p≡（p∧∟r）∨（q∧∟r）∨p
≡（p∧q∧∟r）∨（p∧∟q∧∟r）∨（p∧q∧∟r）∨（∟p∧q∧∟r）∨
（p∧q∧r）∨（p∧q∧∟r）∨（p∧∟q∨r∨（p∧∟q∧∟r）
≡（p∧q∧r）∨（p∧q∧∟r）∨（p∧∟q∧r）∨（p∧∟q∧r）∨
（∟p∧q∧∟r）.