(┐p∨q)∧(┐p∨┐r) (┐p∨q∨r)∧(┐p∨q∨┐r)∧(┐p∨q∨┐r)∧(┐p∨┐
答案:2 悬赏:70 手机版
解决时间 2021-01-16 01:12
- 提问者网友：萌卜娃娃
- 2021-01-15 10:12
(┐p∨q)∧(┐p∨┐r) (┐p∨q∨r)∧(┐p∨q∨┐r)∧(┐p∨q∨┐r)∧(┐p∨┐
最佳答案
- 五星知识达人网友：枭雄戏美人
- 2021-01-15 11:14
这是求的主合取范式，用了不止一个定律：
(¬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) 等幂律
得到主合取范式
(¬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) 等幂律
得到主合取范式
全部回答
- 1楼网友：深街酒徒
- 2021-01-15 11:31
。。。
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯