((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) 德摩根定律
⇔(p∧¬q)∨(q∧¬r)∨¬p∨r
结合律
⇔¬q∨(q∧¬r)∨¬p∨r
合取析取
吸收率
⇔¬q∨¬r∨¬p∨r
合取析取
吸收率
⇔¬p∨¬q∨¬r∨r
交换律
排序
⇔TRUE
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024