离散数学 证明其为永真式

2024-11-22 17:16:52
推荐回答(1个)
回答1:

证明过程如下:
(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 排中律