求下列公式的主析取范式，再用主析取范式求主合取范式。（p∨q）→q

答案:2 悬赏:0

解决时间 2021-03-24 12:03

提问者网友：娇妻失忆
2021-03-23 17:37

最佳答案

二级知识专家网友：怪咖小青年
2021-03-23 19:04

求下列公式的

全部回答

1楼网友：错过的是遗憾
2021-03-23 20:18

p→(q∧r) ⇔¬p∨(q∧r) 变成合取析取 ⇔(¬p∨q)∧(¬p∨r) 分配律 ⇔(¬p∨q∨(¬r∧r))∧(¬p∨(¬q∧q)∨r) 补项 ⇔((¬p∨q∨¬r)∧(¬p∨q∨r))∧(¬p∨(¬q∧q)∨r) 分配律2 ⇔(¬p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨(¬q∧q)∨r) 结合律 ⇔(¬p∨q∨¬r)∧(¬p∨q∨r)∧((¬p∨¬q∨r)∧(¬p∨q∨r)) 分配律2 ⇔(¬p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨r)∧(¬p∨q∨r) 结合律 ⇔(¬p∨q∨¬r)∧(¬p∨¬q∨r)∧(¬p∨q∨r) 等幂律得到主合取范式，再检查遗漏的极大项 ⇔m₄∧m₅∧m₆⇔∏(4,5,6) ⇔¬∏(0,1,2,3,7)⇔∑(0,1,2,3,7)⇔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) 德摩根定律得到主析取范式

我要举报

如以上问答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！