求命题公式(p∧q)的主范式
答案:1 悬赏:0
解决时间 2021-01-05 12:18
- 提问者网友:蔚蓝的太阳
- 2021-01-04 23:20
求命题公式(p∧q)的主范式
最佳答案
- 二级知识专家网友:躲不过心动
- 2021-01-05 00:06
先算主析取范式:
(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)∨(﹁p∧﹁r)∨(p∧q∧r)<=>
((﹁p∧﹁q)∧(r∨﹁r))∨((﹁p∧﹁r)∧(q∨﹁q))∨(p∧q∧r)<=>
(﹁p∧﹁q∧r)∨(﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧r)
由主析取范式可以看出小项为:
m001,m000,m010,m111
剩下的就是:
m011,m100,m101,m110
转换成大项:
M011,M100,M101,M110
写成主合取范式:
(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)∨(﹁p∧﹁r)∨(p∧q∧r)<=>
((﹁p∧﹁q)∧(r∨﹁r))∨((﹁p∧﹁r)∧(q∨﹁q))∨(p∧q∧r)<=>
(﹁p∧﹁q∧r)∨(﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧r)
由主析取范式可以看出小项为:
m001,m000,m010,m111
剩下的就是:
m011,m100,m101,m110
转换成大项:
M011,M100,M101,M110
写成主合取范式:
(p∨﹁q∨﹁r)∧(﹁p∨q∨r)∧(﹁p∨q∨﹁r)∧(﹁p∨﹁q∨r)追问不是一个题啊
我要举报
如以上问答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息,可以点下面链接进行举报!
大家都在看
推荐资讯