(离散数学)对((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 交换律 排序。