证明:p→(q→p)等价于 非p→(p→非q).希望能将过程写的详细一点,

问题描述:

证明:p→(q→p)等价于 非p→(p→非q).希望能将过程写的详细一点,
证明:p→(q→p)等价于 非p→(p→非q).

p→(q→p)<=> ┐p∨( ┐q∨p)<=>p∨(┐p∨┐q)<=>p∨(p→┐q)<=>┐p→(p→┐q)
那么简单都不会做,建议多看下书,把基础公式弄明白