(离散数学)对((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 交换律 排序。
相关视频/文章