Conjunctive normal form and conjunctive normal form in solving PV (q r) in discrete mathematics of RTVU.

The process of finding the normal form of this problem is as follows:

P∨(Q∧R)

(? P∧(？ Q∨Q)∧(？ R∨R))∨((？ P∨P)∧Q∧R) Supplement

((? P∧？ Q∧(？ R∨R))∨(？ P∧Q∧(？ R∨R)))∨((？ P∨P)∧Q∧R) Distribution Law 2

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

((? P∧？ Q∧？ r)∩(？ P∧？ Q∧R))∨(？ P∧Q∧(？ R∨R))∨((？ P∨P)∧Q∧R) Distribution Law 2

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

(? P∧？ Q∧？ r)∩(？ P∧？ Q∧R)∨((？ P∧Q∧？ r)∩(？ P∧Q∧R))∨((？ P∨P)∧Q∧R) Distribution Law 2

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

(? P∧？ Q∧？ r)∩(？ P∧？ Q∧R)∨(？ 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)∨(？ P∧Q∧R)∨(P∧Q∧R) associative law

(? P∧？ Q∧？ r)∩(？ P∧？ Q∧R)∨(？ P∧Q∧？ r)∩(？ The idempotent law of P∧Q∧R)∨(P∧Q∧R)

Get the principal disjunctive normal form

Check the false assignment and reverse the independent variable to get the principal conjunctive normal form.

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