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