11问答网
所有问题
当前搜索:
合取析取蕴含
离散数学中的等值演算
答:
等值演算的证明:((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 德摩根定律 ...
离散数学 13(6)求步骤以及每步解释
答:
第(6)题答案:(¬R∨(Q→P))→(P→(Q∨R))⇔¬(¬R∨(Q→P))∨(P→(Q∨R)) 变成
合取析取
⇔¬(¬R∨(¬Q∨P))∨(¬P∨(Q∨R)) 变成 合取析取 ⇔¬(¬R∨(P∨¬Q))∨(¬P∨(Q∨R)) ...
离散数学求主
析取
范式
答:
其次若化简式里有
蕴涵
符号,则可以用蕴涵等值式A→B<=>A∨B进行化简;若求主
析取
范式,化简式中有p∧q,需给其配上r,可配(p∧q)∧(r∨r),这里用了零律及同一律,这里就不详说了;若求主
合取
范式,化简式中有p∨q,需给其配上r,可配(p∨q)∨(r∧r),所用同上。当然,也可利用...
离散数学1
答:
P→((P→Q)∧¬(¬Q∨¬P))⇔ ¬P∨((P→Q)∧¬(¬P∨¬Q)) 变成
合取析取
⇔ ¬P∨((¬P∨Q)∧¬(¬P∨¬Q)) 变成 合取析取 ⇔ ¬P∨((¬P∨Q)∧(P∧Q)) 德摩根定律 ...
离散数学 求大神做下
答:
一、(p→q)→r ⇔¬(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=1;如果q是一个假命题,则记为q=1。 (1)否定(非“「”)。命题p与联表3-1 结词“「”构成复合命题“「p”。「pP「p 称为p的否定式,也称为负命题,其10 真值表为表3-1。这里表明,若命题01...
计算机是怎么表达p→q(
蕴含
)的呢?
答:
char p[20 ]={‘a’},q[ ]="abc",r[ ]="abcde" 这句表示:定义字符类型的 p 数组可以容纳 20 个字符,q 数组的内容为 "abc",r数组的内容为 "abcde" 执行这个定义后三个数组的内容为: p : 'a', 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0...
离散数学证明
合取析取
和非是一个功能完备的逻辑运算符集合
答:
意思是
合取析取
和非 要能推出其它 所有的 逻辑运算符 这个要具体化,书上有啊
第8大题求答案
答:
a)((A→B)↔(¬B→¬A))∧C ⇔ (((A→B)→(¬B→¬A))∧((¬B→¬A)→(A→B)))∧C 变成
合取析取
⇔ ((¬(A→B)∨(¬B→¬A))∧(¬(¬B→¬A)∨(A→B)))∧C 变成 合取析取 ...
棣栭〉
<涓婁竴椤
9
10
11
12
14
15
16
17
18
涓嬩竴椤
灏鹃〉
13
其他人还搜