(? p∨r)∧(? q∨? R)∧(r∨(p∨q)) becomes a conjunctive disjunction.
(? p∨r)∧(? q∨? R)∧(r∨p∨q) associative law
(? p∨(? q∧q)∨r)∧((? p∧p)∨? q∨? R)∧(p∨q∨r) Supplement
((? p∨? q∨r)∧(? p∨q∨r))∧((? p∧p)∨? q∨? R)∧(p∨q∨r) distribution law
(? p∨? q∨r)∧(? p∨q∨r)∧((? p∧p)∨? q∨? R)∧(p∨q∨r) associative law
(? 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) associative law
Get Lord conjunctive normal form,
Check the missing largest item again.
M0∧M 1∧M3∧M4∧M7
∏(0, 1,3,4,7)
∏(0, 1,3,4,7)
∑(0, 1,3,4,7)
m0∨m 1∨m3∨m4∨m7
(p∨q∨? r)∨? (p∨? q∨r)∨? (? p∨q∨? De Morgan's law
(? p∧? q∧r)∨(? p∧q∧? r)∩(p∧? Q∧r) De Morgan's Law
m 1∨m2∨m5
Get the principal disjunctive normal form