求(┐p→q)→(┐q∨p)的主析取范式，并求成真赋值，要解题过程，求大神帮忙，在线等
答案:1 悬赏:10 手机版
解决时间 2021-03-12 01:33
- 提问者网友：寂寞梧桐
- 2021-03-11 21:04
求(┐p→q)→(┐q∨p)的主析取范式，并求成真赋值，要解题过程，求大神帮忙，在线等
最佳答案
- 五星知识达人网友：英雄的欲望
- 2021-03-11 21:41
逻辑上的“蕴含→”，是指 A→B 等同于 ┐A∨B
而 ┐p→q 则等同于 ┐(┐p)∨q ，即 p∨q
(┐p→q)→(┐q∨p)
⇔ ┐(┐p→q)∨(┐q∨p)
⇔ ┐(p∨q)∨(┐q∨p)
⇔┐p∧┐q∨┐q∨p
⇔（┐p∧┐q∨┐q）∨p
⇔┐q∨p
而 ┐p→q 则等同于 ┐(┐p)∨q ，即 p∨q
(┐p→q)→(┐q∨p)
⇔ ┐(┐p→q)∨(┐q∨p)
⇔ ┐(p∨q)∨(┐q∨p)
⇔┐p∧┐q∨┐q∨p
⇔（┐p∧┐q∨┐q）∨p
⇔┐q∨p
我要举报
如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
点此我要举报以上问答信息
大家都在看
推荐资讯