((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.