求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)
等幂律
得到主合取范式,再检查遗漏的极大项
⇔M₄∧M₅∧M₆⇔∏(4,5,6)
⇔¬∏(0,1,2,3,7)⇔∑(0,1,2,3,7)⇔m₀∨m₁∨m₂∨m₃∨m₇
⇔¬(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)的析取范式和主合取范式
得到主合取范式,再检查遗漏的极大项 ⇔M₄∧M₅∧M₆⇔∏(4,5,6)⇔¬∏(0,1,2,3,7)⇔∑(0,1,2,3,7)⇔m₀∨m₁∨m₂∨m₃∨m₇⇔¬(P∨Q∨R)∨¬(P∨Q∨¬R)∨...

离散数学:求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的主析取范式、主合取范式是什么啊
<=>((┐P∧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...

求P→Q∨R的析取范式、主析取范式、主合取范式
主析取范式:若干个极小项的析取。例, 求公式(p∧q)∨r的主析取范式及主合取范式。主析取范式:(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)→(p∧r)的主析取范式与主合取范式
p→(q∧r) ⇔ ¬p V (q ∧ r) 主析取范式。⇔ (¬p V q) ∧ (¬p V r) 主合取范式。其中“-”是非。P∧Q就是这个公式的主析取范式,因为这个就是最小项m3,所以根据范式互补,它的主合取范式就是M0∧M1∧M2。

求(p→q)→r的析取范式和合取范式
1 0 1 1 1 1 1 0 1 原公式的主析取范式:(┐P∧┐Q∧R)V(┐P∧Q∧R)V(P∧Q∧┐R)V(P∧Q∧R)主合取范式:(┐PVQV┐R)∧(┐PVQVR)∧(PV┐QVR)∧(PVQVR)

求P→(Q→R)的主析取范式和主合取范式,过程清晰明了。
有点懒,不想列出来了。你用真值表做很简单,第一步:列出真值表。第二步:找出所有值为真的行构成主析取范式。第三步:找出值为假的行构成主合取范式。

求公式(P→Q) R的主析取范式和主合取范式。求解答
<=>(┐PVQ)∧R <=>(┐P∧R) V (Q∧R)<=>(┐P∧R∧(QV┐Q)) V (Q∧R∧(┐PVP))<=>(┐P∧R∧Q) V (┐P∧R∧┐Q) V (Q∧R∧P)剩下的化成极大项极小项形式就可以了。

求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)...

求离散数学(P→ Q)→ R主合取范式和主析取范式
求离散数学(P→ Q)→ R主合取范式和主析取范式用P'表示非P,P→Q=P'+Q,所以(p→q)→R=(P'+Q)'+R=PQ'+R(主析取范式)=(P+R)(Q'+R)(主合取范式).仅供参考。

相似回答