(¬p→q)→(q→¬p)
⇔ ¬(¬p→q)∨(q→¬p) 变成 合取析取
⇔ ¬(p∨q)∨(¬q∨¬p) 变成 合取析取
⇔ (¬p∧¬q)∨(¬p∨¬q) 德摩根定律
⇔ (¬p∧¬q)∨¬p∨¬q 结合律
⇔ ¬p∨¬q 合取析取 吸收率
是可满足式
⇔ ¬(¬p→q)∨(q→¬p) 变成 合取析取
⇔ ¬(p∨q)∨(¬q∨¬p) 变成 合取析取
⇔ (¬p∧¬q)∨(¬p∨¬q) 德摩根定律
⇔ (¬p∧¬q)∨¬p∨¬q 结合律
⇔ ¬p∨¬q 合取析取 吸收率
是可满足式
温馨提示：答案为网友推荐，仅供参考
第1个回答 2016-09-24
应该是