离散数学中的等值演算

54次

问题描述:

离散数学中的等值演算求高手给解答

最佳答案

推荐答案

等值演算的证明:((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

为你推荐