离散数学题 证明¬（p∧¬q）∧（¬q∨r）∧¬r→¬p是重言式
答案:2 悬赏:30 手机版
解决时间 2021-03-30 06:34
- 提问者网友：别再叽里呱啦
- 2021-03-29 16:11
离散数学题 证明¬（p∧¬q）∧（¬q∨r）∧¬r→¬p是重言式
最佳答案
- 五星知识达人网友：未来江山和你
- 2021-03-29 16:48
(¬(p∧¬q)∧(¬q∨r)∧¬r)→¬p
⇔¬(¬(p∧¬q)∧(¬q∨r)∧¬r)∨¬p 变成 合取析取
⇔¬p∨¬(¬(p∧¬q)∧(¬q∨r)∧¬r) 交换律 排序
⇔¬p∨((p∧¬q)∨¬(¬q∨r)∨r) 德摩根定律
⇔¬p∨((p∧¬q)∨(q∧¬r)∨r) 德摩根定律
⇔¬p∨(p∧¬q)∨(q∧¬r)∨r 结合律
⇔¬p∨¬q∨(q∧¬r)∨r 合取析取 吸收率
⇔¬p∨¬q∨¬r∨r 合取析取 吸收率
⇔TRUE
⇔¬(¬(p∧¬q)∧(¬q∨r)∧¬r)∨¬p 变成 合取析取
⇔¬p∨¬(¬(p∧¬q)∧(¬q∨r)∧¬r) 交换律 排序
⇔¬p∨((p∧¬q)∨¬(¬q∨r)∨r) 德摩根定律
⇔¬p∨((p∧¬q)∨(q∧¬r)∨r) 德摩根定律
⇔¬p∨(p∧¬q)∨(q∧¬r)∨r 结合律
⇔¬p∨¬q∨(q∧¬r)∨r 合取析取 吸收率
⇔¬p∨¬q∨¬r∨r 合取析取 吸收率
⇔TRUE
全部回答
- 1楼网友：佘樂
- 2021-03-29 17:17
¬（p∧¬q）∧（¬q∨r）∧¬r→¬p
即(¬p∨q)∧[(¬q∧¬r)∨(r∧¬r)]→¬p,
即(¬p∨q)∧¬q∧¬r→¬p，
仿上，即¬p∧¬q∧¬r→¬p，是是重言式.
即(¬p∨q)∧[(¬q∧¬r)∨(r∧¬r)]→¬p,
即(¬p∨q)∧¬q∧¬r→¬p，
仿上，即¬p∧¬q∧¬r→¬p，是是重言式.
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯