退
离散数学中的等值演算
问题描述
离散数学中的等值演算求高手给解答
- 精选答案
-
等值演算的证明：((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
本文标题：离散数学中的等值演算
本文链接：https://www.bjdnbx.com/know/367467.html
转载请注明出处：来源于广知网，谢谢配合！
最新发布
