Current location - Training Enrollment Network - Mathematics courses - The second edition of discrete mathematics answers after class.
The second edition of discrete mathematics answers after class.
(p→r)∧(q→? r)∧(? r→(p∨q))

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