数学
离散数学中的等值演算
54查看 1回答
悬赏70积分
-
三颗葱已解决2024-01-19 21:58离散数学中的等值演算求高手给解答问题补充：
离散数学中的等值演算求高手给解答解决时间 2026-01-08 15:02 -
最佳答案
-
2024-01-19 21:58
等值演算的证明：((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