求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)(主合取范式).仅供参考。