（离散数学）对((p→q)∧(q→r))→(p→r)进行等值演算以判断公式类型。
来源：懂视网
责编：小OO
时间：2024-11-29 23:08:43
（离散数学）对((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 交换律 排序。
导读⇔；¬；((¬；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 交换律 排序。
(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 称为永真式，重言式。
（离散数学）对((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 交换律 排序。
