求命题公式(p∨(q∧r))→(p∧q∧r)的主合取范式
来源:学生作业帮 编辑:搜狗做题网作业帮 分类:数学作业 时间:2024/05/14 11:12:13
求命题公式(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)
求命题公式(p∨(q∧r))→(p∧q∧r)的主合取范式
求命题公式(P∧Q)∨R的主析取范式和主合取范式
求命题公式(p∨(q∧r))→(p∧q∧r)的主析取范式 急
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,
利用真值表,求命题公式P∧Q∨R的主范式
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急
求命题公式 ((p∨q)→r)→p 的主析取范式
设命题公式G=┐(P→Q)∨(Q∧(┐P→R)),求G的主析取范式
求命题公式(P->Q)R主合取范式.急
离散数学问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁知道怎么求的?望赐教
求P→Q∨R的析取范式、主析取范式、主合取范式