((p→q)∧(q→r))∨(p→r) becomes conjunctive disjunction.

((? p∨q)∧(？ q∨r))∨(？ P∨r) becomes conjunctive disjunction.

(? (? p∨q)∨？ (? q∨r))∨(？ De Morgan's law

((p∧？ q)∩(q∧？ r))∨(？ De Morgan's law

(p∧？ q)∩(q∧？ r)∨？ P∞r associative law

q∨(q∧？ r)∨？ P∨r conjunctive disjunctive absorption rate

q∨？ r∨？ P∨r conjunctive disjunctive absorption rate

p∨？ q∨？ Ordering of r∨r commutative law

real

It is called eternal truth and tautology.