合取范式问题定义 一个命题公式称为合取范式仅当具有形式 :A1∧A2.An （n≥1）其中An 都是由命题变元或其否定组

离散数学中怎样利用真值表计算主合取范式

小怡子1年前1

梦幻现实 共回答了13个问题 | 采纳率92.3%

首先要知道命题公式中有几个命题变项,比如n个.
其次,找出成假赋值,换算成n位十进制数i,以此作为下标的极大项Mi的合取即为所求的主合取范式.
例如：命题公式p∨q→r,成假赋值是010,100,110,所以主合取范式是M2∧M4∧M6

1年前查看全部

求主析取和主合取范式.

求主析取和主合取范式.

东星ww1年前1

我为香水痴 共回答了12个问题 | 采纳率100%

（┐P∧┐Q)∧（┐R∨┐Q）= ┐P∧┐Q∧┐R ∨ ┐P∧┐Q∧┐Q= ┐P∧┐Q∧┐R ∨ ┐P∧┐Q∧（R∨┐R）= ┐P∧┐Q∧┐R ∨ ┐P∧┐Q∧R ∨ ┐P∧┐Q∧┐R=┐P∧┐Q∧┐R ∨ ┐P∧┐Q∧R = （类似于E的符号）m0,m1 =...

1年前查看全部

求公式（Q→P）∧（┓P∧Q）的主析取范式和主合取范式

就到附近快速1年前1

尼莫通 共回答了15个问题 | 采纳率93.3%

这个公式是永假式,主析取范式为0

1年前查看全部

合取范式,合取主范式的区别,最好有例子,简单易懂一点

吴含1年前1

七粒果 共回答了14个问题 | 采纳率92.9%

合取式： P∧Q∧R合取范式： (p∨q)∧(p∨┐q∨r)∧ (┐p∨r)主合取范式： (p∨q∨r)∧(p∨┐q∨r)∧ (┐p∨q∨r)

1年前查看全部

求┐(pV┐q)∧(s→r)合取范式和主合取范式

往月1年前2

蓝月鹰飞 共回答了13个问题 | 采纳率84.6%

┐(pV┐q)∧(s→r)
⇔┐p∧q∧(┐sVr) (合取范式）
现对每个合取项构成保证形式,如┐p,要把q,s,r全部添进去.
主合取范式一共有12项

1年前查看全部

永真式的主析取范式和主合取范式是什么

萝卜叶子1年前1

lineker 共回答了17个问题 | 采纳率82.4%

永真式的主析取范式是全部小项的析取,主合取范式不存在,通常用T表示.

1年前查看全部

求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦

rachelshln1年前1

西窗茶语 共回答了20个问题 | 采纳率95%

P Q R PVQ RVQ (P∨Q)→(R∨Q)
0 0 0 0 0 1
0 0 1 0 1 1
0 1 0 1 1 1
0 1 1 1 1 1
1 0 0 1 0 0
1 0 1 1 1 1
1 1 0 1 1 1
1 1 1 1 1 1
没弄对其,应该能看懂吧~
然后主析取范式为（-P∧-Q∧-R）V(-P∧-Q∧R)V(-P∧Q∧-R)V(-P∧Q∧R)V(P∧-Q∧R)V(P∧Q∧-R)V(P∧Q∧R)
主合取范式为PV-QV-R
其中“-”是非,我没找到那个符号~用-代替一下~

1年前查看全部

（非P->q）->（非qVp）的主析取范式和主合取范式

oO水灵妖Oo1年前1

我是善希 共回答了16个问题 | 采纳率100%

(┐p→q)→(┐q∨p)
┐(┐┐p∨q)∨(┐q∨p)
(┐p∧┐q)∨(┐q∨p)
(┐p∨(┐q∨p))∧(┐q∨(┐q∨p))
1∧(┐q∨p)
(p∨┐q)
M1 (主合取范式)
m0∨m2∨m3 (主析取范式)

1年前查看全部

（p∧q）∨r 求其主析取范式 再用主析取范式求主合取范式

fccv1年前1

adele_天空 共回答了21个问题 | 采纳率90.5%

主合取范式:若干个极大项的合取.
主析取范式:若干个极小项的析取.
例, 求公式(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:
参考资料：http://www.nuist.edu.cn/courses/lssx/longtime/part1/chapter02/02_02_03_01.htm

1年前查看全部

离散数学题：已知公式A含3个命题变项p,q,r,并且它的成真赋值为000.011.110.求A的主合取范式,主析取范式

五荘观主1年前1

水猫儿 共回答了19个问题 | 采纳率89.5%

把成真赋值对应的三位二进制数转换为十进制数是0,3,6,所以主析取范式是m0∨m3∨m6.主合取范式是M1∧M2∧M4∧M5∧M7.

1年前查看全部

怎么把有布尔常量的布尔表达式的合取范式通过大小项下标转化为析取范式

怎么把有布尔常量的布尔表达式的合取范式通过大小项下标转化为析取范式
布尔代数上上的布尔表达式：
f(x1,x2)=(a∧x1)∧(x1∨－x2)∨(b∧x1∧x2)
求出他的析取范式为：（x1∧x2)∨(a∧x1∧－x2)=m3∨(a∧m2) ；其中－x2表示是x2的补元；m3是合取范式的小项m11；
如果要求合取范式,能用M0M1那种方式求吗?如果能,麻烦写下答案,

晒月亮的xx1年前1

jinve1999 共回答了15个问题 | 采纳率86.7%

什么叫大小项下标
最好你给个例子

1年前查看全部

主析取范式和主合取范式的求法!

orphenbobby1年前1

love伊念 共回答了20个问题 | 采纳率90%

主析取范式 在给定的命题公式中,如果有一个等价公式,它仅由小项的析取所组成,则该等价式称作原式的主析取范式.
主析取范式的惟一性 任意含n个命题变元的非永假命题公式A,其主析取范式是惟一的.
主合取范式的惟一性 任意含n个命题变元的非永真命题公式A,其主合取范式是惟一的.
真值表的主范式求法
（1） （1） 在真值表中,一个公式的真值为T的指派所对应的小项的析取,即为此公式主析取范式.
（2） （2） 在真值表中,一个公式的真值为F的指派所对应的大项的合取,即为此公式主合取范式.
主范式的等值演算法
对于一个给定n个变元的命题公式A,都可通过等值变换,化为惟一的主析取范式或主合取范式.
主范式之间的关系
设命题公式中含有n个命题变元,且A的主析取范式中含有k个小项 ,则A的主合取范式必含有 个大项.
如果命题公式A的主析取范式为： 则A的主合取范式为：
从n个命题变元的公式A的主析取范式,求合取范式的步骤：
（1） （1） 求出A的主析取范式中未包含小项的.
（2） （2） 把（1）中求出的“下标”写成对应大项；
（3） （3） 把（2）中写成的大项合取,即为A的主合取范式.
可以参考
http://www.***.com.cn/bbs_disp_all.asp?id=34725&boardid=52

1年前查看全部

求与公式((x1→x2)→x3)→x4逻辑等价的主合取范式和主析取范式.

求与公式((x1→x2)→x3)→x4逻辑等价的主合取范式和主析取范式.
式中的数字是下标,本人学文科的,对此一窍不通,盼望达人解答.

laviniayiyi1年前1

我喜欢伍佰 共回答了17个问题 | 采纳率76.5%

我知道你想注册VZ,请稍等几天,

1年前查看全部

什么是合取范式请通俗一点,最好有列子

xiaodufu1年前1

toyzhou 共回答了14个问题 | 采纳率92.9%

合取范式,命题公式的一种标准形,设A是一个命题公式,A中出现的命题变元为p1,p2,…,pn,以Qi表示pi或┐pi,i＝1,…,n.称Q1∧…∧Qn是p1,…,pn的一个合取项,若干个互不相同的合取项的析取称为一个合取范式,与命题公式A逻辑等价的合取范式称为A的合取范式.
例如命题公式p→（q→r）的合取范式是p∧q∧r∨〔p∧q∧r∨p∧〔q∧r∨〔p∧〔q∧r∨〔p∧q∧〔r∨p∧〔q∧〔r∨〔p∧〔q∧〔r.

1年前查看全部

离散数学问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁知道怎么求的?望赐教

小玲爱港剧1年前3

parely 共回答了21个问题 | 采纳率90.5%

可以用真值表求.根据蕴含式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

1年前查看全部

求下列公式的主范式.1.（P→Q）↔ R（主析取范式） 2.（P→Q）↔ R（主合取范式）

轻蜓1年前1

飘飞的雨丝 共回答了12个问题 | 采纳率91.7%

用真值表,很容易得出结果
或者等价公式也可以
先求主合取范式：
（P→Q）↔ R(﹁(﹁P∨Q)∨R)∧(﹁R∨(﹁P∨Q))((P∧﹁Q)∨R)∧(﹁P∨Q∨﹁R)
(P∨R)∧(﹁Q∨R)∧(﹁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)∧(P∨﹁Q∨R)∧(﹁P∨﹁Q∨R)∧(﹁P∨Q∨﹁R)
同理可以求得主析取范式,过程类似上面很简单,就是重复工作而已,我就不写了.

1年前查看全部

p∧┐p 的主析取范式是多少,p∨┐p 的主合取范式是多少

p∧┐p 的主析取范式是多少,p∨┐p 的主合取范式是多少
离散数学-命题逻辑

kettyduoduo21年前1

cm705 共回答了22个问题 | 采纳率72.7%

这两个公式确实挺特殊的.相信你也知道【p∧┐p】和【p∨┐p】分别属于矛盾式和重言式.其实,同类的公式又岂止这两个,再举个例子：
　　矛盾式：【（p∨q）∧（p∨┐q）∧（┐p∨q）∧（┐p∨┐q）】；
　　重言式：【（p∧q）∨（p∧┐q）∨（┐p∧q）∨（┐p∧┐q）】；
显然,我这个例子与你的很相似,
　　它们分别是：【全部大项的合取】和【全部小项的析取】；
　　它们分别是一类（形式）特殊的矛盾式和重言式；
　　它们本身都是主范式,只不过恰好不是你要的那种；而分别是【主合取范式】和【主析取范式】
　　矛盾式和重言式的真值表,分别为全F和全T.而我们又知道,两种【主范式】的一个等价定义就是：
　　　　【主析取范式】＝真值表中,所有真值为T的指派对应的小项,的析取；
　　　　【主合取范式】＝真值表中,所有真值为F的指派对应的大项,的合取；
由此可见：
　　【矛盾式】的【主析取范式】,和【重言式】的【主合取范式】,都是【空范式】；
所以：
　　为了区分,也为了标记这两个主范式,很多书上都规定：
　　　　【矛盾式】的【主析取范式】＝0；
　　　　【重言式】的【主合取范式】＝1；
这就是你的问题的答案了.

1年前查看全部

主析取范式 主合取范式 之间 怎么转换

主析取范式 主合取范式 之间 怎么转换
用什么公式 最好举个例子 ``
no one knows

老脚村1年前1

鼓到吃四碗饭 共回答了21个问题 | 采纳率95.2%

主合取范式:若干个极大项的合取.
主析取范式:若干个极小项的析取.
例,求公式(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:

1年前查看全部

┓(P→Q)的主析取范式是什么,主合取范式是什么

┓(P→Q)的主析取范式是什么,主合取范式是什么
为什么这个也是析取范式？

ybwxy1年前1

ckyoyo 共回答了25个问题 | 采纳率100%

(P->Q)
P|Q)
=P & Q 主合取范式,也是主析取范式.
为非运算,| 为析取,& 为合取.
P & Q 是主析取范式,是因为它刚好是合取小项.
主析取范式就是合取小项间的析取.
如 (P & Q) | P & Q)
同理
P | Q 主析取范式,也是主合取范式.
建议好好领会各概念.

1年前查看全部

利用真值表求命题公式（p->(q->r)）（r->(q->p)）的主析取范式和主合取范式

月风2371年前1

烟雾迷蒙 共回答了20个问题 | 采纳率85%

主析取范式m0并m1并m2并m4并m5并m6并m7
主析取范式M3
例3的真值表

1年前查看全部

26、已知公式A（P,Q,R）的主合取范式为M0ÙM3ÙM5,它的主析取范式（编码形式）为

26、已知公式A（P,Q,R）的主合取范式为M0ÙM3ÙM5,它的主析取范式（编码形式）为
M0^M3^M5

senhuei1年前1

xianakey 共回答了15个问题 | 采纳率93.3%

为了方便.符号“＜＝＞”用“＝”表示.
A＝M0∧M3∧M5.
∴┑A＝M1∧M2∧M4∧M6∧M7.
A＝┑┑A＝┑[M1∧M2∧M4∧M6∧M7]
＝（┑M1）∨（┑M2）∨（┑M4）∨（┑M6）∨（┑M7）
＝m1∨m2∨m4∨m6∨m7.

1年前查看全部

求下列公式的主析取和主合取范式,

求下列公式的主析取和主合取范式,
(p∧┐q)∨(q∧r)

yfrost1年前1

流逝我的年华 共回答了15个问题 | 采纳率86.7%

1年前查看全部

关于离散数学析取范式与合取范式请问这是为什么?

solo20081年前1

顺时针Z 共回答了18个问题 | 采纳率88.9%

第一个：从析取范式的角度来说,它是由一个合取式构成的析取范式；从合取范式的角度来说,它是由三个命题变项及其否定p,┐q,r构成的合取范式.
第二个命题公式的构成也是类似的.

1年前查看全部

P→（P∧（Q→P））的主析取范式和主合取范式

P→（P∧（Q→P））的主析取范式和主合取范式
这个公式是重言式,主合取范式?

河清沙白19841年前1

tydmuma 共回答了22个问题 | 采纳率90.9%

P→(P^(Q→P))
=┐P V (P^(┐Q V P))
=┐P V ((P^┐Q)V(P^P))
=┐P V ((P^┐Q)V P)
=┐P V (P^┐Q)V P
=┐P V P
=1
最后结果说明该式是重言式.
（可能数学符号用的不是很规范,）

1年前查看全部

主合取范式怎么求

linyan_000321年前1

天穹之卫 共回答了17个问题 | 采纳率82.4%

　　主析取范式是由极小项之和构成的,命题公式化简出来的主析取范式中包含的极小项,其下标对应的指派得到的命题公式的真值应该为1.
　　主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应下标应该是使对应的指派得到命题公式的真值为0.
所以,假设有三个命题変元,极小项和极大项的下标分别是0--7,如果一个命题変元的主析取范式表示为m1或m3或m5,它的主合取范式应该是M0且M2且M4且M6且M7.
也就是说下标是极小项下标集合的补集.

1年前查看全部

范式!用等值演算法算出 ￢q∨p 的主合取范式!

bosswood1年前4

chensly 共回答了18个问题 | 采纳率83.3%

=.=不用演算了,主合取范式就是这个

1年前查看全部

已知主析取范式为(p∧q)V(┐p∧q)V(p∧┐q) 该怎么求主合取范式?

Z881853301年前3

kindred_R 共回答了15个问题 | 采纳率86.7%

(p∧q)V(┐p∧q)V(p∧┐q)(((p∧q)V┐p)∧((p∧q)Vq))V(p∧┐q)((qV┐p)∧q)V(p∧┐q)
qV(p∧┐q)(qVp)∧(qV┐q)pVq

1年前查看全部

求公式（Q→P）∧（┓P∧Q）的主合取范式

kwg5121年前3

LG的猫 共回答了17个问题 | 采纳率94.1%

（Q→P）∧（┓P∧Q）
(┓Q∨P)∧（┓P∧Q）
((┓Q∨P)∧┓P)∧((┓Q∨P)∧Q)
((┓Q∧┓P)∨(P∧┓P))∧((┓Q∧Q)∨（P∧Q)）
((┓Q∧┓P)∨F)∧(F∨（P∧Q)）
(┓Q∧┓P)∧（P∧Q)

1年前查看全部

离散数学：求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式

离散数学：求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式
如果答对一定追分

逍遥格格1年前1

twa6mi 共回答了23个问题 | 采纳率95.7%

列真值表法或者逻辑推出法都可以知道
主合取范式为：（┒X1∨X2∨X3∨X4）∧（┒X1∨X2∨┒X3∨X4）∧
（X1∨X2∨┒X3∨X4）∧（X1∨┒X2∨┒X3∨X4）∧（┒X1∨X2∨┒X3∨X4）∧（┒X1∨┒X2∨┒X3∨X4）
主析取范式为：（┒X1∧X2∧┒X3∧X4）∨（┒X1∧X2∧┒X3∧┒X4）∨（┒X1∧┒X2∧┒X3∧X4）∨（┒X1∧┒X2∧┒X3∧┒X4）∨
（X1∧X2∧┒X3∧X4）∨（X1∧X2∧┒X3∧┒X4）∨（┒X1∧X2∧┒X3∧X4）∨（┒X1∧X2∧┒X3∧┒X4）∨（X1∧X2∧X3∧X4）∨
（X1∧X2∧┒X3∧X4）∨（X1∧┒X2∧X3∧X4）∨（X1∧┒X2∧┒X3∧X4）∨（┒X1∧X2∧X3∧X4）∨（┒X1∧X2∧┒X3∧X4）
∨（┒X1∧┒X2∧X3∧X4）∨（┒X1∧┒X2∧┒X3∧X4）
如果不明白怎么算的,加我,或者到我空间给我留言
314782272

1年前查看全部

P∨(Q∧R)→(P∧Q∧R )的主析取范式和 主合取范式

jh-1111年前1

最爱肉夹馍 共回答了22个问题 | 采纳率95.5%

P→Q等价于：(┐P)∨Q
P∨(Q∧R)→(P∧Q∧R )等价于：(┐P∨(Q∧R))∨(P∧Q∧R )
后面无非就是一些化简方法：比如(Q∧R)=[(┐P)∧(Q∧R)]∨[P∧(Q∧R)]
之类┐P=[(┐P)∧(Q∧R)]∨[(┐P)∧(┐Q∧R)]∨[(┐P)∧(Q∧┐R)]∨[(┐P)∧(┐Q∧┐R)]
另一范式雷同

1年前查看全部

求p→(q∧┐r)的主合取范式、主析取范式、成真赋值成假赋值以及判断命题公式类型.

新的天使1年前1

louhn 共回答了21个问题 | 采纳率95.2%

通过等值运算
p→(q∧┐r)
┐p∨(q∧┐r)
(┐p∨q)∧(┐p∨┐r)
(┐p∨q∨r)∧(┐p∨q∨┐r)∧(┐p∨q∨┐r)∧(┐p∨┐q∨┐r)
(┐p∨q∨r)∧(┐p∨q∨┐r)∧(┐p∨┐q∨┐r)
M4∧M5∧M7 (主合取范式)
m0∨m1∨m2∨m3∨m6 (主析取范式)
由此可得成假赋值为100,101,111,成真赋值为000,001,010,011,110.

1年前查看全部

((p∨q) ∧(p→q)) ↔(q→p) 的主析取范式和主合取范式

joye01年前1

木瓜猪 共回答了23个问题 | 采纳率100%

方法1．这是含有两个变元的公式,得用真值表十分方便：
p q p∨q p→q ((p∨q) ∧(p→q)) q→p ((p∨q) ∧(p→q)) ↔(q→p)
T T T T T T T
T F T F F T F
F T T T T F F
F F F T F T F
利用最后一列为T对应的小项的析取得主析取范式p∧q
利用最后一列为F对应的大项的合取得主合取范式(非p∨q)∧(p∨非q)∧(p∨q)
方法2．
((p∨q) ∧(p→q)) ↔(q→p)
=((p∨q) ∧(非p∨q)) ↔(非q∨p)
=((p∧非p)∨q)) ↔(非q∨p)
=(F∨q)) ↔(非q∨p)
=q ↔(非q∨p)
=(q∧(非q∨p))∨(非q∧非(非q∨p))
=(q∧p)∨(非q∧(q∧非p))
=(q∧p)∨F
=q∧p(主析取范式)
= (q∨(p∧非p))∧(p∨(q∧非q))
=(q∨p)∧(q∨非p)∧(p∨q)∧(p∨非q)
=(p∨q)∧(p∨q)∧(p∨非q) (主合取范式)

1年前查看全部

离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急

鬼是我1年前1

白色的马蹄莲 共回答了20个问题 | 采纳率75%

P Q R P∧Q ┐P∧R （P∧Q）∨（┐P∧R）
0 0 0 0 0 0
0 0 1 0 1 1
0 1 0 0 0 0
0 1 1 0 1 1
1 0 0 0 0 0
1 0 1 0 0 0
1 1 0 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)

1年前查看全部

离散数学题目求主合取范式和主析取范式

离散数学题目求主合取范式和主析取范式
求 ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P))的主合取范式和主析取范式

ioer1年前1

happy866 共回答了14个问题 | 采纳率85.7%

利用等价命题公式,一步一步就写出来了：
　　┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P)
┐((┐P∨Q)∧(┐R∨P))∨┐(┐(┐R∨┐Q)∨┐P)
(┐(┐P∨Q)∨┐(┐R∨P))∨(┐┐(┐R∨┐Q)∧┐┐P)
(P∧┐Q)∨(R∧┐P)∨((┐R∨┐Q)∧P)
(P∧┐Q)∨(R∧┐P)∨(┐R∧P)∨(┐Q∧P)
(P∧┐Q∧R)∨(P∧┐Q∧┐R)∨(R∧Q∧┐P)∨(R∧┐Q∧┐P)∨
　　∨(┐R∧Q∧P)∨(┐R∧┐Q∧P)∨(R∧┐Q∧P)∨(┐R∧┐Q∧P)
(P∧┐Q∧R)∨(P∧┐Q∧┐R)∨(┐P∧Q∧R)∨(┐P∧┐Q∧R)∨(P∧Q∧┐R)
m5∨m4∨m3∨m1∨m6 (主析取范式)
M0∧M2∧M7 (主合取范式)

1年前查看全部

离散数学括号内P析取Q析取R为什么不是合取范式

离散数学括号内P析取Q析取R为什么不是合取范式
当没有括号时既是合取范式也可以是析取范式
问题是括号内,即(P析取Q析取R)为什么不是析取范式

蜜蜂4031年前1

bailedou 共回答了21个问题 | 采纳率95.2%

我们这里从定义出发.
简单析（合）取式：仅由有限个文字构成的析（合）取式
合取范式：由有限个简单析取式构成的合取式
析取范式：由有限个简单合取式构成的析取式
（PVQ）VR不是合取范式,因为“合取式”条件不满足.
PVQVR既是合取范式也可以是析取范式,因为PVQVR可看做一个整体析取式,而单独一个整体既是合取式也可以是析取式,所以PVQVR是合取范式；又P,Q,R分开来看既是合取式也可以是析取式,并且V为析取符号,该式为析取式,所以PVQVR是析取范式.

1年前查看全部

离散数学中怎样用主析取范式求主合取范式

恩暖1年前1

大汉雄风燕窝 共回答了17个问题 | 采纳率94.1%

主析取范式是由极小项之和构成的,命题公式化简出来的主析取范式中包含的极小项,其下标对应的指派得到的命题公式的真值应该为1.
主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应下标应该是使对应的指派得到命题公式的真值为0.
所以,假设有三个命题変元,极小项和极大项的下标分别是0--7,如果一个命题変元的主析取范式表示为m1或m3或m5,它的主合取范式应该是M0且M2且M4且M6且M7.
也就是说下标是极小项下标集合的补集.

1年前查看全部

为什么矛盾式的主合取范式含全部2^n个极大项,

为什么矛盾式的主合取范式含全部2^n个极大项,
最好能举个简单的例子

szdouble1年前1

phoebe818 共回答了24个问题 | 采纳率100%

矛盾式,对所有的2^n个取值,它的值都为0.根据真值表求主合取范式的方法,这2^n个极大值的合取就是主合取范式.也就是所既然所有的取值都使得命题为假,那它的主合取范式显然要包括全部2^n个极大项.简单例子：非P∧P真值...

1年前查看全部

求下列公式的主析取范式和主合取范式P∧Q

太白神鸡1年前1

机器娃娃No1 共回答了13个问题 | 采纳率76.9%

P∧Q就是这个公式的主析取范式,因为这个就是最小项m3,所以根据范式互补,它的主合取范式就是M0∧M1∧M2

1年前查看全部