展开全部
p→(q∨r)
⇔¬p∨(q∨r) 变成 合取析取
⇔¬p∨q∨r 结合律
得到主合取范式
¬r→(p→q)
⇔r∨(p→q) 变成 合取析取
⇔r∨(¬p∨q) 变成 合取析取
⇔r∨¬p∨q 结合律
⇔¬p∨q∨r 交换律 排序
得到主合取范式
显然两者主合取范式一致，从而两个命题等价
⇔¬p∨(q∨r) 变成 合取析取
⇔¬p∨q∨r 结合律
得到主合取范式
¬r→(p→q)
⇔r∨(p→q) 变成 合取析取
⇔r∨(¬p∨q) 变成 合取析取
⇔r∨¬p∨q 结合律
⇔¬p∨q∨r 交换律 排序
得到主合取范式
显然两者主合取范式一致，从而两个命题等价
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
