通过等值演算证明((p∨q)∧(p→r)∧(~r))→q为永真式

麻烦写一下大概过程，谢谢

((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 称为永真式，重言式。追问

复制粘贴烦不烦?

温馨提示：内容为网友见解，仅供参考

当前网址：https://11.t2y.org/zz/2vvfs42vmsm4vv4v7s.html