（1）（p→q）→（¬q→¬p）
（2）（p∨q）∧p→¬q
（3）（p∧q→r）→（p→（q→r））(https://www.daowen.com)
（4）（p→q）∨（q→p）
（5）¬p→（p→q）
（6）（p→q）∨（p→¬q）
