11问答网
所有问题
当前搜索:
1析取q等于啥
求(┐p→
q
)→(┐q∨p)的主
析取
范式,并求成真赋值,
答:
逻辑上的“蕴含→”,是指 A→B 等同于 ┐A∨B 而 ┐p→
q
则等同于 ┐(┐p)∨q ,即 p∨q (┐p→q)→(┐q∨p)⇔ ┐(┐p→q)∨(┐q∨p)⇔ ┐(p∨q)∨(┐q∨p)⇔┐p∧┐q∨┐q∨p ⇔(┐p∧┐q∨┐q)∨p ⇔┐q∨p ...
离散数学,求!(PV
Q
)<->(PAQ)最简
析取
范式。“感叹号代表取反,V代表析 ...
答:
等值式:A←→B <=> (A→B)∧(B→A)A→B <=> ┐A∨B
(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)成真赋值,看主析取范式即可:0
1
1 ...
离散数学问题:通过求主
析取
范式求主合取范式。(p→q)∧(q→r)
答:
(p→
q
)∧(q→r)⇔ (¬p∨q)∧(¬q∨r) 变成 合取
析取
⇔ (¬p∨q∨(¬r∧r))∧((¬p∧p)∨¬q∨r) 补项 ⇔ ((¬p∨q∨¬r)∧(¬p∨q∨r))∧((¬p∧p)∨¬q∨r) 分配律 ⇔ (...
离散数学,用等值演算法求下列公式的主
析取
范式 (p→q)^(r→q) 求过 ...
答:
(p→
q
)^(r→q)<=>(┐p∨q)^(┐r∨q)<=>(┐p^q)∨(┐p^┐r)∨(q∧┐r)<=>(┐p^q∧(r∨┐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 假时,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。命题公式...
求(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)∨(p∧q∧r) 等幂律 得到主
析取
范式 ...
高分求助解答离散数学题目
答:
A.10 B.01 C. 00 D.11 2、令p:今天下雪了,
q
:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( A )A. p∧┐q B.p∨┐q C.p∧q D.p→┐q 3、设B不含有x,下列
一
阶逻辑等值式不正确的是 ( )A.B.C.D.4、 设X,Y,Z是集合,下列结论...
离散数学:求P∨( P→(
Q
∨(Q→R)))主合取与主
析取
范式
答:
P∪( P→(
Q
∪(Q→R)))= P∪( 非P∪(Q∪(非Q∪R)))= P∪非P∪Q∪非Q∪R=T 永真式不存在主合取范式,故该式不存在主合取范式;永真式的主
析取
范式是所有小项之析取,故 原式的主析取范式是 (P∩Q∩R)∪(P∩Q∩非R)∪(P∩非Q∩R)∪(P∩非Q∩非R)∪ (...
...输入命题公式,给出它的主合取范式和主
析取
范式。
答:
得到主
析取
范式:(p∧!q)∨(!p∧q)∨(p∧q)p∨q∨r (主合取范式)以下是原题:
1
、设计并开发
一
个能帮助学习数理逻辑的小软件。2、结合离散数学的相关知识,掌握VC等集成开发环境,开发一个能辅助教学的小软件。1、输入命题公式,该软件能判断公式的类型,并列出真值表。2、输入命题公式,给出它的主合取范式和...
棣栭〉
<涓婁竴椤
3
4
5
6
8
7
9
10
11
12
涓嬩竴椤
灏鹃〉
其他人还搜