((p∨q)→r)→p

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

(? (p∨q)∨r)∨p becomes conjunctive disjunction.

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

p∨((p∧？ r)∩(q∧？ R)) distribution law

p∨(p∧？ r)∩(q∧？ R) association law

p∨(q∧？ R) joint desorption absorption rate

(p∧(？ q∨q)∧(？ r∨r))∨((？ p∨p)∧q∧？ R) supplement

((p∧？ q∧(？ r∨r))∨(p∧q∧(？ r∨r)))∨((？ p∨p)∧q∧？ R) distribution method

(p∧？ q∧(？ r∨r))∨(p∧q∧(？ r∨r))∨((？ p∨p)∧q∧？ R) association law

((p∧？ q∧？ r)∩(p∧？ q∧r))∨(p∧q∧(？ r∨r))∨((？ p∨p)∧q∧？ R) distribution method

(p∧？ q∧？ r)∩(p∧？ q∧r)∨(p∧q∧(？ r∨r))∨((？ p∨p)∧q∧？ R) association law

(p∧？ q∧？ r)∩(p∧？ q∧r)∨((p∧q∧？ r)∨(p∧q∧r))∨((？ p∨p)∧q∧？ R) distribution method

(p∧？ q∧？ r)∩(p∧？ q∧r)∨(p∧q∧？ r)∨(p∧q∧r)∨((？ p∨p)∧q∧？ R) association law

(p∧？ q∧？ r)∩(p∧？ q∧r)∨(p∧q∧？ r)∨(p∧q∧r)∨((？ p∧q∧？ r)∩(p∧q∧？ R)) distribution law

(p∧？ q∧？ r)∩(p∧？ q∧r)∨(p∧q∧？ r)∨(p∧q∧r)∨(？ p∧q∧？ r)∩(p∧q∧？ R) association law

(p∧？ q∧？ r)∩(p∧？ q∧r)∨(p∧q∧r)∨(？ p∧q∧？ r)∩(p∧q∧？ R) idempotent law

Get the principal disjunctive normal form