11问答网
所有问题
当前搜索:
析取范式化为合取范式
主
析取范式
与主
合取范式
的转换
答:
主
合取范式
,就是若干个极大项的合取(交集)。如何按步骤求命题公式的主合取范式与主
析取范式
主析取范式,就是若干个极小项的析取(并集)。如何按步骤求命题公式的主合取范式与主析取范式而所谓的极大项,就是包含全部数目扮闭的命题变元的析取表达式。例如:p∨¬q∨r如何按步骤求命题公式的...
【离散数学】
析取范式
和
合取范式
怎么转化?
答:
不错,他的确是
析取范式
,但同时,他也是
合取范式
,并且,他还是主合取范式。只是该主合取范式中,只含有1个极大项:Q∨P而已。合取范式的定义式:仅由有限个简单析取式构成的合取式称为析取范式。Q∨P完全满足定义,这里的简单析取式为1个。另外你标题中的这个问题“析取范式与合取范式如何转化”,其...
离散数学:求
析取范式
和
合取范式
答:
P∧(P→Q)⇔P∧(¬P∨Q) 变成 合取
析取
⇔P∧Q 合取析取 吸收率 得到主
析取范式
然后检查遗漏的极小项,取反,合取后得到,主合取范式:(¬P∨¬Q)∧(¬P∨Q)∧(P∨¬Q)
离散数学中怎样用主
析取范式
求主
合取范式
答:
主析取范式中,有若干的极小项,检查遗漏的极小项,找出相应的极大项。然后把这些极大项合取,即可得到主
合取范式
。详细解答,请参考百度 http://jingyan.baidu.com/article/1612d5005ed288e20f1eee6e.html
(p→q)∧q∧r的主
析取范式
主
合取范式
成真赋值成假赋值
答:
得到主
合取范式
:(¬p∨¬q∨r)∧(¬p∨q∨¬r)∧(¬p∨q∨r)∧(p∨¬q∨r)∧(p∨q∨¬r)∧(p∨q∨r)成真赋值,看主
析取范式
即可:0 1 1 1 1 1 成假赋值,看主合取范式即可:0 0 1 0 1 0 0 1 1 1 0 1 1 1 0 1 1 1 ...
离散数学:求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。命题公式是可满足式。
合取范式
和主
析取范式
有什么联系吗?
答:
它们的定义,决定了二者之间有这样的联系。定义:设由n个命题变项构成的
析取范式
(
合取范式
)中所有的简单合取式(简单析取式)都是极小项(极大项),则称该析取范式(合取范式)为主析取范式(主合取范式);注意的是:主合取范式和主析取范式与原公式等值。根据定义可以体会一个例子:对于重言式,...
主
析取范式
和主
合取范式
有什么区别?
答:
∧(┐p∨q∨r)∏(M0,M2,M4)也就是:∑(m1,m3,m5,m6,m7)∏(M0,M2,M4)说明:∑:表示连续的合取;∏:表示连续的析取 从上面的里子你不难看出两者之间的关系吧!对了,就是一个主
析取范式
转化为主
合取范式
就是取其主析取范式内不存在的最小项的标号的最大项进行析取,反过来求也是一样的!
离散数学的主
析取范式
和主
合取范式
应该怎样求 求具体的方法 一看到这样...
答:
(1)一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定。(2)一个简单合取式是矛盾式当且仅当它同时含某个命题变项及它的否定。定义:(1)由有限个简单合取式构成的析取式称为
析取范式
。(2)由有限个简单析取式构成的合取式称
为合取范式
。(3)析取范式与合取范式统称为范式。...
求公式(p∨q)→(p∧r)的主
析取范式
与主
合取范式
答:
主
析取范式
:(p∨q)→(p∧r) ≡ ¬p∨(q∧r)主
合取范式
:(p∨q)→(p∧r) ≡ (¬q∨p)∧(¬q∨r)
1
2
3
4
5
6
7
8
9
10
涓嬩竴椤
灏鹃〉
其他人还搜
析取范式如何变成合取范式
由主析取范式得到主合取范式
析取范式与合取范式相互转化
主析取范式转换为主合取范式
合取范式与析取范式
析取范式化为主析取范式
主析取怎么变成主合取
析取怎么转化为合取
合取式怎么变成析取式