p→（q→p）＜＝＞ ┐p∨( ┐q∨p)＜＝＞p∨(┐p∨┐q)＜＝＞p∨(p→┐q)＜＝＞┐p→(p→┐q)
那么简单都不会做,建议多看下书,把基础公式弄明白