通過等值演算證明？

((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 稱為永真式，重言式。