离散数学求详细过程，判断命题公式的类型
2个回答
展开全部
(¬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 合取析取 吸收率
是可满足式
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
