(? P∨Q)∧(P→R)

(? P∨Q)∧(？ P∨R) becomes conjunctive disjunction.

(? P∨Q∨(？ R∧R))∧(？ P∨(？ Q∧Q)∞R) supplement

((? P∨Q∨？ R)∧(？ P∨Q∨R))∧(？ P∨(？ Q∧Q)∨R) distribution law 2

(? P∨Q∨？ R)∧(？ P∨Q∨R)∧(？ P∨(？ Q∧Q)∨R) associative law

(? P∨Q∨？ R)∧(？ P∨Q∨R)∧((？ P∨？ Q∨R)∧(？ P∨Q∨R)) distribution law 2

(? P∨Q∨？ R)∧(？ P∨Q∨R)∧(？ P∨？ Q∨R)∧(？ P∨Q∨R) associative law

(? P∨Q∨？ R)∧(？ P∨？ Q∨R)∧(？ P∨Q∨R) idempotent law

Get Lord conjunctive normal form.

Check the missing largest item again.

m？ ∧M？ ∧M∏(4，5，6)

∏(0, 1,2,3,7)? ∑(0, 1,2,3,7)? m？ ∨m？ ∨m？ ∨m？ ∨m？

(P∨Q∨R)∨？ (P∨Q∨？ R)∨？ (P∨？ Q∨R)∨？ (P∨？ Q∨？ R)∨？ (? P∨？ Q∨？ De Morgan's law

(? P∧？ Q∧？ r)∩(？ P∧？ Q∧R)∨(？ P∧Q∧？ r)∩(？ P∧Q∧R)∨(P∧Q∧R) De Morgan's Law

Get the principal disjunctive normal form