离散数学:证明等价式p→(q∨r)┓r→(p→q)

离散数学:证明等价式p→(q∨r)<=>┓r→(p→q)
求答案
pangdavid 1年前 已收到1个回答 举报

风铃飞舞 幼苗

共回答了23个问题采纳率:87% 举报

p→(q∨r)
⇔¬p∨(q∨r) 变成 合取析取
⇔¬p∨q∨r 结合律
得到主合取范式
¬r→(p→q)
⇔r∨(p→q) 变成 合取析取
⇔r∨(¬p∨q) 变成 合取析取
⇔r∨¬p∨q 结合律
⇔¬p∨q∨r 交换律 排序
得到主合取范式
显然两者主合取范式一致,从而两个命题等价

1年前

5
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 1.311 s. - webmaster@yulucn.com