求命题公式(P∧Q)∨R的主析取范式和主合取范式

如题所述

第1个回答  2012-06-24
主析取:m1vm3vm5vm6vm7
主合取:M0^M2^M4
可以用真值表法或是等值演算法。本回答被提问者采纳

离散数学问题求救
主析取范式:(p∧q)∨r (p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐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)∑(m1,m3,m5,m6,m7)主合取范式...

离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样...
(2)一个简单合取式是矛盾式当且仅当它同时含某个命题变项及它的否定。定义:(1)由有限个简单合取式构成的析取式称为析取范式。(2)由有限个简单析取式构成的合取式称为合取范式。(3)析取范式与合取范式统称为范式。举例说吧:例1, 求公式(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)→(p∧r)的主析取范式与主合取范式
⇔ (¬p V q) ∧ (¬p V r) 主合取范式。其中“-”是非。P∧Q就是这个公式的主析取范式,因为这个就是最小项m3,所以根据范式互补,它的主合取范式就是M0∧M1∧M2。

命题的合取与运算
如果看不清,可看下面网址(参考资料)3 、 求公式 P ∧ Q ∨ R 的主析取范式和主合取范式 P ∧ Q ∨ R <==>( P ∧ Q )∨ R 1 真值表法 P Q R (P∧Q)∨R 极小项 极大项 0 0 0 0 P∨Q∨R 0 0 1 1 ┐P∧Q∧R 0 1 0 0 P∨┐Q∨R 0 1 1 1 ┐P∧Q...

离散数学问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式...
根据蕴含式A→B的真值的情形,只有A真B假时才为假,所以(P∨Q)→(R∨Q) 成假只有当P∨Q真,R∨Q假时,此时P真Q假R假,即成假赋值只有100,对应的极大项是M4,所以主合取范式是M4,那么主析取范式就是m0∨m1∨m2∨m3∨m5∨m6∨m7 参考资料:符号表示参考自耿素云的教材 ...

离散数学:求p→(q∧┐r)的主合取范式、主析取范式、成真赋值成假赋值以...
命题公式是蕴涵式,成假赋值只有一种情况,是p真q∧┐r 假时,q∧┐r 假有三种情况,q,r都真或都假,或q假r真,所以命题公式的成假赋值是111,101,100,对应的十进制数是7,5,4,所以主合取范式是M4∧M5∧M7。成真赋值是000,001,010,011,110,主析取范式是m0∨m1∨m2∨m3∨m6。命题公式...

(P→Q)∧R的主析取范式、主合取范式是什么啊
∧(Q∨┐Q))∨((Q∧R) ∧(p∨┐p))<=>(┐P∧Q∧R)∨(┐P∧┐Q∧R)∨(P∧Q∧R) ∨(┐P∧Q∧R)<=>(┐P∧┐Q∧R)∨(┐P∧Q∧R)∨ (P∧Q∧R)(主析取范式)<=>∑(1,3,5) (主析取范式)根据范式主析取范式可以直接得出主合取范式为 ∏(0,2,4,6,7)

(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∧r的主析取范式和主合取范式。
p∧q∧r已经是主析取范式了,这个主析取范式只有一个极小项 而它的主合取范式有7个极小项:(p∨q∨r)∧(p∨¬q∨r)∧(p∨q∨¬r)∧(p∨¬q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨r)∧(¬p∨q∨¬r)...

相似回答