离散题求主合取范式
答案:1 悬赏:0
解决时间 2021-01-17 10:01
- 提问者网友：我的未来我做主
- 2021-01-16 19:20
离散题求主合取范式
最佳答案
- 二级知识专家网友：过活
- 2021-01-16 19:58
((p∨q)→r)→p
⇔¬((p∨q)→r)∨p 变成 交并
⇔¬(¬(p∨q)∨r)∨p 变成 交并
⇔((p∨q)∧¬r)∨p 德摩根定律
⇔((p∨q)∨p)∧(¬r∨p)
⇔(p∨q)∧(¬r∨p)
⇔(p∨q∨(r∧¬r))∧(p∨(¬q∧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 变成 交并
⇔¬(¬(p∨q)∨r)∨p 变成 交并
⇔((p∨q)∧¬r)∨p 德摩根定律
⇔((p∨q)∨p)∧(¬r∨p)
⇔(p∨q)∧(¬r∨p)
⇔(p∨q∨(r∧¬r))∧(p∨(¬q∧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)
我要举报
如以上问答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯