求P→Q∨R的析取范式、主析取范式、主合取范式我求的是:P→Q∨R的析取范式、主析取范式、主合取范式,

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/27 02:48:48
求P→Q∨R的析取范式、主析取范式、主合取范式我求的是:P→Q∨R的析取范式、主析取范式、主合取范式,
xUn@f$ 4m%Hm}(`!JD  "\_ȮY?:5; ťUR<윳!;7۩?VH.ʍ .vF@ 0'|*bVV0UtdOq'~]h+ *,8˃j:r.6q?Ņ=W%&R~aASiӳ8 ()]H#b9(܎ +aoSE|}G_YW\7LmWu%՛5sG nYv; OTVS>G w'B+YQOz)OC}2-C  y'!odrU@xVLi "P/k_PTwօi>1C4$#Mq}dtsGHA ĩ+wSJRiь Vds ceL2)4)845 `zIyl"PG=`K@.VDJ"-K%(pw+b?(t#%|^sikzM`@9oHUSTq J1=qS \؊ cy26hMsm

求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∨┐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)
主合取范式
(p∧q)∨r
(p∨r)∧(q∨r)
(p∨(q∧┐q)∨r)∧((p∧┐p)∨q∨r)
(p∨q∨r)∧(p∨┐q∨r)∧(p∨q∨r)∧(┐p∨q∨r)
(p∨q∨r)∧(p∨┐q∨r)∧(┐p∨q∨r)∏(M0,M2,M4)
也就是:∑(m1,m3,m5,m6,m7)∏(M0,M2,M4)
说明:∑:表示连续的合取;∏:表示连续的析取
从上面的里子你不难看出两者之间的关系吧!
对了,就是一个主析取范式转化为主合取范式就是取其主析取范式内不存在的最小项的标号的最大项进行析取,反过来求也是一样的!
至于最小项和最大项的标号是怎么得出来你就参考下面网页里的表2.4:

主合取范式:若干个极大项的合取。
主析取范式:若干个极小项的析取。
例, 求公式(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)∨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)
主合取范式
(p∧q)∨r
<==>(p∨r)∧(q∨r)
<==>(p∨(q∧┐q)∨r)∧((p∧┐p)∨q∨r)
<==>(p∨q∨r)∧(p∨┐q∨r)∧(p∨q∨r)∧(┐p∨q∨r)
<==>(p∨q∨r)∧(p∨┐q∨r)∧(┐p∨q∨r)<==>∏(M0,M2,M4)
也就是:∑(m1,m3,m5,m6,m7)<==>∏(M0,M2,M4)
说明:∑:表示连续的合取;∏:表示连续的析取
从上面的里子你不难看出两者之间的关系吧!
对了,就是一个主析取范式转化为主合取范式就是取其主析取范式内不存在的最小项的标号的最大项进行析取,反过来求也是一样的!
至于最小项和最大项的标号是怎么得出来你就参考下面网页里的表2.4:

收起

求P→Q∨R的析取范式、主析取范式、主合取范式我求的是:P→Q∨R的析取范式、主析取范式、主合取范式, P→Q∧R的合取范式和主析取范式? 求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦 离散数学命题逻辑求析取范式?求析取范式?主析取范式?再用主析取范式求主和取范式?1、(p^q)Vr 2、(p->q)^(q->r)求下列公式的主和取范式,再用主和取范式求主析取范式?1、(p^q)->q2、(p->q)->r3、┐(r- 求下列公式的主范式.1.(P→Q)↔ R(主析取范式) 2.(P→Q)↔ R(主合取范式) 求P∧(P→Q)的析取范式和合取范式. 问一道离散数学试卷上的问题,到时试卷要上交,关系到毕业的.请认真回答.请看清问题:请求P→Q∨R的析取范式,合取范式、主析取范式,主合取范式.回答时请以本题为例,不要回答其它的. 求命题公式(P∧Q)∨R的主析取范式和主合取范式 离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急 ┓(P→Q)的主析取范式是什么,主合取范式是什么为什么这个也是析取范式? 一道离散数学题目求主合、析取范式求合式((p->q)∧┒(q->┒p))的主合、析取范式 离散数学题目求主合取范式和主析取范式求 ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P))的主合取范式和主析取范式 离散数学,主析取范式与主合取范式.谢谢了.求┐(P∧Q)→R的主析取范式与主合取范式. 求┐(pV┐q)∧(s→r)合取范式和主合取范式 把下列公式化成合取范式((P∧Q)∧((P→R)∧(Q→S)))→(S∧R)注意是合取范式,不是主合取范式 【离散数学】析取范式和合取范式怎么转化?(P∧Q)∨(┐P∧Q)∨(┐Q∧P) 怎么转成合取范式呢? 求命题公式 ((p∨q)→r)→p 的主析取范式 求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,麻烦大家了,急用啊