求一离散数学解答过程及答案 设命题公式G=┐(P→Q)∨(Q∧(┐P→R)),求G的主析取范式

如题所述

第1个回答  2011-12-17
解法一:
G=┐(P→Q)∨(Q∧(┐P→R))
=┐(┐P∨Q)∨(Q∧(P∨R))
=(P∧┐Q)∨((Q∧P)∨(Q∧R))
=(P∧┐Q)∨(Q∧P)∨(Q∧R)
=((P∧┐Q)∧(┐R∨R))∨((Q∧P)∧(┐R∨R))∨((Q∧R)∧(┐p∨p))
=(P∧┐Q∧┐R)∨(P∧┐Q∧R)∨(Q∧P∧┐R)∨(Q∧P∧R)∨(Q∧R∧┐p)
解法二:真值表法,更简单。(略)不懂就问我。本回答被提问者采纳

...问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁...
可以用真值表求。根据蕴含式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.设p:天下大雨,q:小王乘公共汽车上班,命题“只有天下大雨,小王才乘公共汽车上班”的符号化形式为( B )A)p→q B)q→p C)p→┐q D)┐p→q 2.设解释I如下,个体域D={a,b}, F(a,a)=F(b,b)=0,F(a,b)=F(b,a)=1,在解释I下,下列公式中真值为1的是( ...

...和真值表求主析取式 2.(p←→q)∧(﹁rVs)命题公式求主析取式_百度知...
((p∨q)∨r)→p ⇔¬((p∨q)∨r)∨p变成合取析取 ⇔p∨((¬p∧¬q)∧¬r)德摩根定律 ⇔(p∧¬q∧¬r)∨(p∧¬q∧r)∨(p∧q∧(¬r∨r))∨((¬p∨p)∧¬q∧¬r)结合律 ⇔(p∧¬...

求离散数学答案
楼主,不是吧,这个算是离散数学最基本的问题了!这都还问???你不会连课本都懒得看吧,这个不上课看下课本自己都能做出来的,楼主,学习最终还得靠自己啊!难题可以求教别人,但是这种简单的问题还是自己解决好点!PS:小小建议,说的不对希望见谅!

主析取范式的基本内容
例如,文字:p,┐q,r,q.简单析取式: p,q,p∨q,p∨┐p∨r,┐p∨q∨┐r.简单合取式: p,┐r,┐p∧r,┐p∧q∧r,p∧q∧┐r.定理2.1(1)一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定。(2)一个简单合取式是矛盾式当且仅当它同时含某个命题变项及它的否定。

离散数学求前束范式,要过程?
((\\exists x_2 H(x_2)) \\rightarrow (\\exists x_3 L(x_2, x_3)))因此,这个命题公式的前束范式为:\\forall x_1 \\forall x_2 ((F(x_1) \\rightarrow G(x_1, x_2)) \\rightarrow ((\\exists x_2 H(x_2)) \\rightarrow (\\exists x_3 L(x_2, x_3)))...

高分急求高人做几道离散数学的题目,急~~~谢谢哦!!!
1.证明:P→(Q→P)<=>┐P∨(┐Q∨P)<=> P∨(┐Q∨┐P)<=>┐P→(P→ ┐Q)2.┐(∨x)(R(x)→∨(x)Q(x))∨代表全称量词的符号 好好看书,自己练练 。不要离开课本

离散数学的一阶逻辑等值演算部分!求教一到习题!
你好,答案如下所示。利用德-摩根律 希望你能够详细查看。如果你有不会的,你可以提问 我有时间就会帮你解答。希望你好好学习。每一天都过得充实。

几道关于 离散数学的题 请大家帮忙
第2题 设P:“天下雨”,Q:“他骑自行车上班”。则命题“除非下雨,否则他就骑自行车上班”可符号化为(C、┐Q→P )第3题 利用二元关系 R 的关系图求其对称闭包时( B、若两个结点间有一条单向边,则添加一条与其方向相反的边)第4题 命题公式A与B等价,是指(D、A与B有相同的真值)第5...

用命题演算法证明: (g∩h)ofc gof∩hof.
x∈P(A)∩P(B) x∈P(A)∩ x∈P(B) (x包含于A)且(x包含于B) x包含于(A∩B) x∈P(A∩B).所以,P(A)∩P(B)=P(A∩B).其中的“包含于”符号难输入,自行改写吧.

相似回答