离散数学证明其为永真式

如题所述

举报该问题

第1个回答 2015-09-15

证明过程如下：
(P∧¬Q)∨(Q∧¬R)∨(¬Q∨R)
⇔(P∧¬Q)∨(Q∧¬R)∨¬Q∨R 结合律
⇔(Q∧¬R)∨¬Q∨R 合取析取吸收率
⇔¬R∨¬Q∨R 合取析取吸收率
⇔¬Q∨¬R∨R 交换律排序
⇔¬Q∨TRUE 结合律
⇔TRUE 排中律本回答被提问者和网友采纳

相似回答

离散数学中,求q或非((非p或q)且P)为永真式答：qˇ非（（非pˇq）^p）等价于qˇ非（非p^q）ˇ(q^p)(分配律)等价于qˇ非(0ˇ(q^p))(矛盾律)等价于qˇ(非qˇ非p)(德摩根律)等价于（qˇ非q）ˇ非p（结合律）等价于1ˇ非p(排中律)等价于1（零律），所以此式为永真式。望采纳，谢谢。

离散数学蕴含中蕴含是什么关系书上写的当且仅当P真Q假时 P->Q为...答：回答：看来你们数字逻辑还没有学,实际上,离散数学的第一部分是数字逻辑的一个延伸,其内容本质上一样,不过运算符号变了。对于其运算,有一下对应关系:a∨b=a+b,a^b=ab,a→b=「a∨b=「a+b,a??b=a⊙b=(ab+「a「b),所以你再进行任何逻辑推理时,只要知道这些,解题就会得心应手。另外,对于...

离散数学—证明下列式子为永真式答：（p→q）∧（q→r）=（~p∨q）∧（~q∨r）=（~p∧（~q∨r）)∨(q∧（~q∨r）)=(（~p∧~q)∨（~p∧r）)∨((q∧~q）∨(q∧r）)=（~p∧~q)∨（~p∧r）∨(0）∨(q∧r）=（~p∧~q)∨（~p∨q)∧r）=（~p∨(（~p∨q)∧r）)∧(~q∨(（~p∨q)∧r）)= ...

P∨Q→R永真蕴涵P∧Q→R。。。离散数学求解答!答：（3）P∨Q T（2）I （4）P∨Q→R P （5）R T（3）（4）I （6）P∧Q→R CP 方法二；要证明P∨Q→R => P∧Q→R，只需证明P∨Q→R -> P∧Q→R为永真。P∨Q→R -> P∧Q→R <=>┐(P∨Q→R)v(P∧Q→R)<=>┐(┐(P∨Q)vR)v(┐(P∧Q)vR)<=> ...

离散数学证明永真式^_^答：)∨r <==> (┐(p∨q)∨┐(┐p∨r)∨┐(┐q∨r))∨r <==> (┐p∧┐q)∨(p∧┐r)∨(q∧┐r)∨r <==> (┐p∧┐q∧)∨((p∨q)∧┐r)∨r <==> (┐p∧┐q∧)∨(p∨q∨r)<==> (┐p∨(p∨q∨r))∧(┐q∨(p∨q∨r))<==> 1∧1 <==> 1 得证。

离散数学题:雪是黑的当且仅当太阳从西边出是( )命题答：真命题，不过不是因为前提是假的，证明如下 A:雪是黑的。真值为0 B：太阳从西边出来。真值为0 上述命题即为: A<=>B 即：0<=>0，为永真式。

离散数学 2.18 第二问怎么证明?答：只需证明这个式子是永真蕴含式即可：((¬p∨q)∧(q→r))→(¬p∨r)⇔¬((¬p∨q)∧(q→r))∨(¬p∨r) 变成合取析取 ⇔¬((¬p∨q)∧(¬q∨r))∨(¬p∨r) 变成合取析取 ⇔(¬(¬p∨q)∨&#...

求帮离散数学证明题,先谢谢了答：0 0 0 11 1 1 1 1 1 1 1因此((P→Q)∧(Q→R))→(P→R)为永真式

大家正在搜

离散数学永真式永假式离散数学永真式离散数学证明离散数学双射证明离散数学图论证明题离散数学等价关系证明离散数学逻辑证明题离散数学集合相等证明题离散数学群的证明例题

离散数学证明永真式^_^

离散数学，永真式问题

离散数学怎么证明s→q是永真式

离散数学为什么说每个基本和都是永真式。

离散数学，判定谓词公式是不是永真式

如图，第一题与第三题怎么做，怎样证明永真式

离散数学判断重言式