88问答网
所有问题
离散数学,求 ┐( p∨Q) ↔( p∧Q)的主析取范式,要详细步骤。
如题所述
举报该问题
其他回答
第1个回答 2017-01-14
第2个回答 2014-11-28
相似回答
离散
求其主合取
范式
带过程谢谢
答:
过程如下:(¬
P∧(
P
↔
Q))∨¬Q ⇔(¬P∧((P→Q)∧(Q→P)))∨¬Q 变成 合取析取 ⇔(¬P∧((¬
P∨Q)
∧(¬Q∨P)))∨¬Q 变成 合取析取 ⇔(¬P∧(¬P∨Q)∧(P∨¬Q))∨¬Q 结合律 ...
离散数学
题,请教第八题第二小问写出
步骤
谢谢
答:
⇔
;(p∨q
∨r)∧
(
172;q∨(¬
p∧q)
∨r) 合取析取 吸收率 ⇔(p∨q∨r)∧(¬q∨¬p∨r) 合取析取 吸收率 得到主合取
范式,
再检查遗漏的极大项 ⇔M₀∧M₆⇔∏(0,6
)
8660;¬∏(1,2,3,4,5,7)⇔∑(1,2,3,4...
离散数学
求析取范式
答:
(p↔q)→¬(p∨r)⇔¬
;(p↔
q)∨¬(p∨r) 变成 合取析取 ⇔¬
;((p
→q)
∧(q
→p))∨¬(p∨r) 变成 合取析取 ⇔¬((¬
p∨q)∧(
¬
q∨p
))∨¬(p∨r) 变成 合取析取 ⇔¬((¬p∨q...
(在线等
)离散数学
将这个式子化成
主范式
并判断真假~
答:
<==> (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 是成假赋值。
求给下这些
离散数学的
过程w
答:
得到
主析取范式
(p∨q)∧¬
;(p∧q)
8660
;(p∨q)
∧
(
172;p∨¬q) 德摩根定律 得到主合取
范式,
再检查遗漏的极大项 ⇔M₀∧M₃⇔∏(0,3)⇔¬∏(1,2)⇔∑(1,2)⇔m₁∨m₂⇔¬(p∨¬q)...
离散数学
题求写下过程.~
答:
得到主合取范式 第2题 (
(p∨q)
∧(p→q))
↔(
q→p)⇔((p∨q)∧(¬p∨q)) ↔(q→p) 变成 合取析取 ⇔(
(p∧
¬p)∨q))↔(q→p) 德摩根定律 ⇔q↔(q→p) 吸收率 ⇔(q→(q→p))∧((q→p)→q) 变成 合取...
离散数学
求主析取范式
和主合区范式
答:
得到这是
主析取范式
检查遗漏的4个最大项是 ¬p∧
q∧
172;r,p∧q∧¬r, p∧¬q∧r, p∧¬q∧¬r ⇔ (p∨¬q∨r)∧
(
172;p∨¬q∨r)∧ (¬
p∨q
∨¬r)∧ (¬p∨q∨r)得到主合取范式 8 (1
)(p∧q)
→q &...
离散数学,求
这个式子的DNF(吸取
范式)
答:
1011 1000 0110 0101 0010 0000 检查为真的赋值,得到
主析取范式
(p∧¬
;q∧
r)∨
(
172
;p∧q∧
172;r)检查为假的赋值,变元取反,得到主合取范式 (¬p∨¬q∨¬r)∧(¬p∨¬q∨r)∧(¬
;p∨q
∨r)∧(p∨¬q∨¬r)∧
(p∨q
∨...
大家正在搜
离散数学p(a)是什么意思
离散数学p蕴含1
离散数学p是什么意思
离散数学p规则t规则
p双条件q等于什么离散数学
离散数学第五版答案pdf
离散数学自然推理系统p
离散数学导论第五版答案pdf
离散数学cp规则例题
相关问题
离散数学:证明(P→Q)←→(┐P∨Q)是恒真的,求详细步骤...
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范...
离散数学求pv(p-q)主析取范式和主合取范式
离散数学,用等值演算法求下列公式的主析取范式 (p→q)^(...
离散数学 求公式的析取范式,合取范式,主合取范式 公式:(&...
离散数学,求 (p→r)∧(q→﹁r)∧(﹁r→(p∨q))...
关于离散数学 求如下公式的主析取范式和主合取 范式 (p∧q...
离散数学P∨(Q∧R)→P∧Q∧R的主析取范式、主合取范式、...