88问答网
所有问题
P∨(┐P→(Q∨(┐Q→R))求主合取范式和主析取范式,最后化简是p∨Q∨R,为什么答案说这个是主合取范式?
离散数学
举报该问题
其他回答
第1个回答 2020-08-09
相似回答
离散数学问题
P∨(┐P→(Q∨(┐Q→R))
)
答:
P∨(┐P→(Q∨(┐Q→R))
)<=> P∨(P∨(Q∨Q∨R))<=> P∨(
P∨Q∨R
)<=> P∨Q∨R 这是命题公式的
主合取范式,
即∏(0),所以
主析取范式是
∑(1,2,3,4,5,6,7)。命题公式不是重言式。
离散数学:
求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∩R)∪(非P∩Q∩非R)∪(非P∩非Q∩R)∪(非P∩非Q∩...
...
合取范式,
主合范式 公式:
P∨(
¬
P→(Q∨(
¬
P→R)
答:
⇔
P∨(P∨(Q∨(
P∨
R))
) 变成
合取析取
⇔P
∨P∨(Q∨(
P∨R)) 结合律 ⇔
P∨Q∨R
结合律 等幂律 得到
主合取范式,
再检查遗漏的极大项 ⇔¬(P∨Q∨¬R)∨¬(P∨¬Q∨R)∨¬(P∨¬Q∨¬R)∨¬(¬P∨Q...
...∧
(┐P→(┐Q
∧
┐R))
的
主析取范式和主合取范式
.
答:
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
假时,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。命题公式是可满足式。
求(¬
R∨(Q→P))
→(
P→(Q∨R))
的
主析取范式和主合取范式,
求大神...
答:
得到
主合取范式,
再检查遗漏的极大项 ⇔M₄⇔∏(4)⇔¬∏(0,1,2,3,5,6,7)⇔∑(0,1,2,3,5,6,7)⇔m₀∨m₁∨m₂∨m₃∨m₅∨m₆∨m₇⇔¬
(P∨Q∨R)
∨¬(P∨Q∨¬...
求P→Q∨R
的析取范式、
主析取范式
、
主合取范式
答:
<==>
(p∨q∨r)
∧
(p∨┐q∨r)
∧
(┐p∨q∨r)
<==>∏(M0,M2,M4)也就是:∑(m1,m3,m5,m6,m7)<==>∏(M0,M2,M4)说明:∑:表示连续的合取;∏:表示连续的析取 从上面的里子你不难看出两者之间的关系吧!对了,就是一个
主析取范式
转化为
主合取范式
就是取其主析取范式内不存在的最小项的...
离散数学问题,要步骤
答案
讲解
答:
⇔¬p∨¬q∨r 这是
主合取范式(
其中只有1个极大项)检查遗漏的7个极大项 ¬p∨¬q∨¬r ¬
p∨q∨r
¬p∨q∨¬r p∨¬q∨r p∨¬q∨¬r p∨q∨r p∨q∨¬r 得到相应的极小项,然后得到
主析取范式
⇔...
大家正在搜
P和Q
安卓10属于Q还是P
P且Q
P Q S
P乘Q
点PQ分别从
动点PQ分别
Q R
Q0465R
相关问题
离散数学题目求主合取范式和主析取范式
求(┐P→Q)→(┐Q∨P)的主析取范式,主合取范式和成假赋...
离散数学:求p→(q∧┐r)的主合取范式、主析取范式、成真赋...
求命题的主析取范式和主合取范式 (1)p∧q∧┐q (2)(...
P∨(Q∧R)→(P∧Q∧R )的主析取范式和 主合取范式
求公式(p→q)∨┐(q∨r)的主析取范式和主合取范式,判断...
关于离散数学 求如下公式的主析取范式和主合取 范式 (p∧q...
(Q→P)∧(┐P∧Q)主析取范式和主合取范式