P→(﹁Q∨R) 求大神教我离散数学
答案:1 悬赏:20 手机版
解决时间 2021-11-25 11:58
- 提问者网友：动次大次蹦擦擦
- 2021-11-24 18:43
P→(﹁Q∨R) 求大神教我离散数学
最佳答案
- 五星知识达人网友：摆渡翁
- 2021-11-24 20:10
求主合取范式和主析取范式的步骤：
P→(﹁Q∨R)
⇔P→(Q→R)
⇔¬P∨(Q→R) 变成 合取析取
⇔¬P∨(¬Q∨R) 变成 合取析取
⇔¬P∨¬Q∨R 结合律
得到主合取范式，再检查遗漏的极大项
⇔M₆⇔∏(6)
⇔¬∏(0,1,2,3,4,5,7)⇔∑(0,1,2,3,4,5,7)⇔m₀∨m₁∨m₂∨m₃∨m₄∨m₅∨m₇
⇔¬(P∨Q∨R)∨¬(P∨Q∨¬R)∨¬(P∨¬Q∨R)∨¬(P∨¬Q∨¬R)∨¬(¬P∨Q∨R)∨¬(¬P∨Q∨¬R)∨¬(¬P∨¬Q∨¬R) 德摩根定律
⇔(¬P∧¬Q∧¬R)∨(¬P∧¬Q∧R)∨(¬P∧Q∧¬R)∨(¬P∧Q∧R)∨(P∧¬Q∧¬R)∨(P∧¬Q∧R)∨(P∧Q∧R) 德摩根定律
得到主析取范式
P→(﹁Q∨R)
⇔P→(Q→R)
⇔¬P∨(Q→R) 变成 合取析取
⇔¬P∨(¬Q∨R) 变成 合取析取
⇔¬P∨¬Q∨R 结合律
得到主合取范式，再检查遗漏的极大项
⇔M₆⇔∏(6)
⇔¬∏(0,1,2,3,4,5,7)⇔∑(0,1,2,3,4,5,7)⇔m₀∨m₁∨m₂∨m₃∨m₄∨m₅∨m₇
⇔¬(P∨Q∨R)∨¬(P∨Q∨¬R)∨¬(P∨¬Q∨R)∨¬(P∨¬Q∨¬R)∨¬(¬P∨Q∨R)∨¬(¬P∨Q∨¬R)∨¬(¬P∨¬Q∨¬R) 德摩根定律
⇔(¬P∧¬Q∧¬R)∨(¬P∧¬Q∧R)∨(¬P∧Q∧¬R)∨(¬P∧Q∧R)∨(P∧¬Q∧¬R)∨(P∧¬Q∧R)∨(P∧Q∧R) 德摩根定律
得到主析取范式
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯