求命题公式(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)
(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)
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
