离散数学等值演算问题?

求详细答案谢谢

第1个回答  2020-01-15


你好,答案如下所示。

如图所示

如图所示

希望你能够详细查看。

如果你有不会的,你可以提问

我有时间就会帮你解答。
希望你好好学习。
每一天都过得充实。

第2个回答  2019-12-29
等值演算的证明:
((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)∨(Q∧¬R))∨(¬P∨R) 德摩根定律
⇔(P∧¬Q)∨(Q∧¬R)∨¬P∨R 结合律
⇔¬Q∨(Q∧¬R)∨¬P∨R 合取析取 吸收率
⇔¬Q∨¬R∨¬P∨R 合取析取 吸收率
⇔¬P∨¬Q∨¬R∨R 交换律 排序
⇔TRUE本回答被网友采纳
相似回答