11问答网
所有问题
当前搜索:
1析取q等于啥
离散数学如何用等值演算法求(p∧q)∨r的主析联范式?
答:
非 “主析联范式” 而是 “主
析取
范式”。这种例子教科书上有的,翻翻书,用上常用的命题等价式,依样画葫芦即可。(p∧q)∨r <==> (p∨r)∧(q∨r)<==> ((p∨q∨r)∧(p∨﹁q∨r))∧((p∨q∨r)∧(﹁p∨q∨r))<==> (p∨q∨r)∧(p∨﹁q∨r)∧(﹁p∨q∨r)<==> M0...
求下列公式的主范式。
1
.(P→Q)↔ R(主
析取
范式) 2.(P→Q)↔ R...
答:
)∧((﹁
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)同理可以求得主
析取
范式,过程类似上面很简单,就是重复工作而已,我就不写了。
离散数学 求主
析取
范式和主合区范式
答:
得到这是主
析取
范式 检查遗漏的4个最大项是 ¬p∧q∧¬r,p∧q∧¬r, p∧¬q∧r, p∧¬q∧¬r ⇔ (p∨¬q∨r)∧ (¬p∨¬q∨r)∧ (¬p∨q∨¬r)∧ (¬p∨q∨r)得到主合取范式 8 (
1
)(p∧q)→q &...
命题公式(Pú
Q
)®Q为( ) A. 矛盾式 B. 可满足式 C. 重言式 D. 合取...
答:
一般的教材不直接介绍范式的概念,以下属于个人理解。我觉得范式可以理解为一类结构特殊一点的合式公式或干脆称之为命题公式,说它特殊是因为它的组成部分,除了命题变项p,
q
,r,...外,其中的联结词组成
一
个联结词完备集,比如{否定,合取,
析取
},由此可以构造出析取范式或合取范式。这类范式可以很容易...
P→(﹁Q∨R) 求大神教我离散数学
答:
P→(﹁
Q
∨R)⇔P→(Q→R)⇔¬P∨(Q→R) 变成 合取
析取
⇔¬P∨(¬Q∨R) 变成 合取析取 ⇔¬P∨¬Q∨R 结合律 得到主合取范式,再检查遗漏的极大项 ⇔M₆⇔∏(6)⇔¬∏(0,
1
,2,3,4,5,7)...
离散数学,求(p→r)∧(
q
→﹁r)∧(﹁r→(p∨q)) 的主
析取
范氏,详细...
答:
(p→r)∧(
q
→¬r)∧(¬r→(p∨q))⇔ (¬p∨r)∧(¬q∨¬r)∧(r∨(p∨q)) 变成 合取
析取
⇔ (¬p∨r)∧(¬q∨¬r)∧(r∨p∨q) 结合律⇔ (¬p∨(¬q∧q)∨r)∧((¬p∧p)∨¬q∨...
求P→(
Q
→R)的主
析取
范式和主合取范式,过程清晰明了。
答:
有点懒,不想列出来了。你用真值表做很简单,第
一
步:列出真值表。第二步:找出所有值为真的行构成主
析取
范式。第三步:找出值为假的行构成主合取范式。
求主
析取
范式,和成真赋值
答:
主
析取
范式 (
1
)(非P^非q)V(非q ^p)V(P^q) 成真赋值就是使式子为1,的p ,q 的取值 (2)(qV非p)^(qVp) ; (qVpVr )^ (q V 非p Vr)
离散数学(P↔
Q
)∪(P∩R)的主
析取
范式和主合取范式
答:
⇔(¬P∧¬
Q
∧¬R)∨(¬P∧¬Q∧R)∨(P∧Q∧¬R)∨(P∧¬Q∧R)∨(P∧Q∧R) 等幂律 得到主
析取
范式,再检查遗漏的极小项 ⇔m₀∨m₁∨m₅∨m₆∨m₇⇔∑(0,
1
,5,6,7)⇔¬...
离散数学过程看不懂
答:
用p'表示非p,
q
'∨(p∨t)' ∨((ps)'∨q)=q'v(p't')vp'vs'vq =I,变成 合取
析取
p'∨(p∨t)' ∨(ps)'∨q =p'v(p't')vp'vs'vq =p'vs'vq,两个式子不等价。可能是印刷错误。
棣栭〉
<涓婁竴椤
5
6
7
8
10
11
12
9
13
14
涓嬩竴椤
灏鹃〉
其他人还搜