77问答网
所有问题
离散数学P∨(Q∧R)→P∧Q∧R的主析取范式、主合取范式、成真赋值、成假
离散数学P∨(Q∧R)→P∧Q∧R的主析取范式、主合取范式、成真赋值、成假赋值
举报该问题
推荐答案 2017-03-05
先列出真值表,成真赋值(1)的就把对应前面的写出来,为主析取,成假赋值的相反.如(p^q)vrp q r (p^q)vr0 0 0 00 0 1 10 1 0 00 1 1 11 0 0 01 0 1 11 1 0 11 1 1 1主析取为001,011,101,110,111.即(!p^!q^r)v(!p^q^r)v(p^!q^r)v(p^q^!r)v(p^q^r)
温馨提示:答案为网友推荐,仅供参考
当前网址:
http://77.wendadaohang.com/zd/GpvqYvW3q8N3IpvvWW.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 ...
离散数学
(
p ∨(q ∧r ))→
(
p ∧q ∧r
)
的主析取范式
答:
先补项,然后使用分配率:(p∧
q)∨r
⇔(p∧q∧(¬r∨r))∨((¬
p∨p)
∧(¬
q∨q)
∧r) 补项。⇔((p∧q∧¬r)∨(p∧q∧r))∨((¬p∨p)∧(¬q∨q)∧r) 分配律。⇔(p∧q∧¬r)
∨(p∧q∧r)∨(
(¬p∨p)∧...
p∨q∧q的赋值范式
是什么?
答:
<==> (┐p∧┐q∧┐r)∨(┐p∧┐
q∧r)∨(
┐p∧q∧┐r)
∨(p∧q∧r)
<==> m0∨m1∨m2∨m7 (
主析取范式
)<==> M3∧M4∧M5∧M6 (
主合取范式
)由此可得
成真赋值
为000, 001, 010, 111
,成假
赋值为011, 100, 101, 110。
离散数学
:求
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∨q)
∧¬r) 分配律2 ⇔(p∧¬q∧¬r)
∨(p∧
¬q∧r)∨(¬p∧q∧¬r)∨(¬
p∧q∧r)∨(
¬p...
(在线等
)离散数学
将这个式子化成
主范式
并判断真假~
答:
<==> (
p∧q∧r)∨(p∧
q∧┐r)∨(┐p∧┐q∧r)<==> m7∨m6∨m1 (
主析取范式
)<==> M5∧M4∧M3∧M2∧M0 (
主合取范式
)可知该命题公式是非重言的可满足式。其中,111, 110, 001 是
成真赋值,
101, 100, 011, 010, 000 是成假赋值。
主析取范式
和
主合取范式,成真成假赋值
答:
1 1 1 0 0 1 1 1
成真赋值
对应
主析取范式,主
析取范式:(┐p∧┐q)∨(p∧┐
q)∨(p∧q)成假
赋值对应
主合取范式,主合取范式
:p∨┐q
大家正在搜
离散数学证明中的T和P是什么意思
离散数学CP
离散数学CP规则
P和Q
P且Q
P Q S
P乘Q
点PQ分别从
安卓10属于Q还是P
相关问题
(p→q)∧q∧r的主析取范式主合取范式成真赋值成假赋值
﹁(p→q)∧q∧r的主析取主合取范式,以及 成真成假赋值
离散数学:求p→(q∧┐r)的主合取范式、主析取范式、成真赋...
离散数学,主析取范式主合取范式成真赋值成假赋值
(p∧q)∨r的主析取范式。离散数学
离散数学 (p ∨(q ∧r ))→(p ∧q ∧r)的主析...
关于离散数学 求如下公式的主析取范式和主合取 范式 (p∧q...
P∨(Q∧R)→(P∧Q∧R )的主析取范式和 主合取范式