11问答网
所有问题
当前搜索:
合取怎么变成析取
离散数学:证明等价式p→(q∨r)<=>┓r→(p→q)
答:
p→(q∨r)⇔¬p∨(q∨r)
变成
合取析取
⇔¬p∨q∨r 结合律 得到主合取范式 ¬r→(p→q)⇔r∨(p→q) 变成 合取析取 ⇔r∨(¬p∨q) 变成 合取析取 ⇔r∨¬p∨q 结合律 ⇔¬p∨q∨r 交换律 排序 得到主合取...
析取
可以都成立吗
答:
否定。
合取
。
析取
。这都是逻辑连接词,一般数理逻辑或元数学的书中会出现这些。这些符号是用来连接两个命题的(否定不是)。否定+命题,意思就是否定^_^.命题1+合取+命题2,就是两个命题同时成立.命题1+析取+命题2,就是两个命题至少有一个成立。说白了,依次是非、且、或的意思。
如何
证明等值演算?
答:
等值演算的证明:((P→Q)∧(Q→R))→(P→R)⇔¬((P→Q)∧(Q→R))∨(P→R)
变成
合取析取
⇔¬((¬P∨Q)∧(¬Q∨R))∨(¬P∨R) 变成 合取析取 ⇔(¬(¬P∨Q)∨¬(¬Q∨R))∨(¬P∨R) 德摩根...
德摩根定律
怎么
用
答:
(p↔q)→r ⇔ ¬(p↔q)∨r
变成
合取析取
⇔ ¬((p→q)∧(q→p))∨r 变成 合取析取 ⇔ ¬((¬p∨q)∧(¬q∨p))∨r 变成 合取析取 ⇔ (¬(¬p∨q)∨¬(p∨¬q))∨r 德摩根定律 ...
构建下面推理的证明 前提:p
合取
q,p蕴含非r,s蕴含t,非s蕴含r,非t 结论...
答:
p
合取
q应是p
析取
q吧。证明如下:1、p析取q 前提 2、p蕴含非r 前提 3、s蕴含t 前提 4、非s蕴含r 前提 5、非t 前提 6、非s 35否定后件式 7、r 46肯定前件式 8、非p 27否定后件式 9、q 18否定肯定式
德摩根定律
怎么
用
答:
(p↔q)→r ⇔ ¬(p↔q)∨r
变成
合取析取
⇔ ¬((p→q)∧(q→p))∨r 变成 合取析取 ⇔ ¬((¬p∨q)∧(¬q∨p))∨r 变成 合取析取 ⇔ (¬(¬p∨q)∨¬(p∨¬q))∨r 德摩根定律 ...
如何
判断一个
合取
范式的主
析取
范式与主合取范式?
答:
=[¬(p Λ q) V r] Λ [¬(¬p Λ ¬q) V r]=[(¬p V ¬q V r] Λ [(p V q V r]=M6 Λ M0 这个就是主
合取
范式 =m1 V m2 V m3 V m4 V m5 V m7 根据范式互补规律,这个就是主
析取
范式 主析取范式也可以硬性推算,比较麻烦 (p←→q...
P∧Q
怎么
用?
答:
(¬P∨¬Q)→(P↔¬Q)⇔¬(¬P∨¬Q)∨(P↔¬Q)
变成
合取析取
⇔¬(¬P∨¬Q)∨((P→¬Q)∧(¬Q→P)) 变成 合取析取 ⇔¬(¬P∨¬Q)∨((¬P∨¬Q)...
德摩根律
怎么
推导?
答:
(p↔q)→r ⇔ ¬(p↔q)∨r
变成
合取析取
⇔ ¬((p→q)∧(q→p))∨r 变成 合取析取 ⇔ ¬((¬p∨q)∧(¬q∨p))∨r 变成 合取析取 ⇔ (¬(¬p∨q)∨¬(p∨¬q))∨r 德摩根定律 ...
离散数学 证明p ∧ ¬(q ∧ r) → q ∧ r → ¬p⇔T
答:
(P→Q)↔(¬P∨Q)⇔((P→Q)→(¬P∨Q))∧((¬P∨Q)→(P→Q))
变成
合取析取
⇔(¬(P→Q)∨(¬P∨Q))∧(¬(¬P∨Q)∨(P→Q)) 变成 合取析取 ⇔(¬(¬P∨Q)∨(¬P∨Q))∧(¬(...
棣栭〉
<涓婁竴椤
15
16
17
18
19
20
21
22
23
76
其他人还搜