Find the principal conjunctive normal form of the propositional formula p ∨ q.

p？ 、Q、r、PVQ？ 、RVQ？ 、? (P∨Q)→(R∨Q)； Then the principal disjunctive normal form is (-p ∧-q ∧-r) v (-p ∧-q ∧ r) v (-p ∧ q ∧-r) v.

The main conjunctive normal form is PV-qv-R.

Where "-"is right or wrong. P∧Q is the principal disjunctive normal form of this formula, because it is the smallest term m3, so according to the complementarity of the normal form, its principal conjunctive normal form is M0∧M 1∧M2.

Extended data:

Find the principal conjunctive normal form and principal disjunctive normal form of propositional formula: the principal disjunctive normal form is the disjunction (union) of several minimum terms; The so-called maximal term is the disjunctive expression p∨? q∨r .

The so-called minimum term is a conjunctive expression containing all propositional variables? p∧？ Q ∧ R. Discrete mathematics can be regarded as a bridge between mathematics and computer science, because discrete mathematics is inseparable from mathematical knowledge such as set theory and graph theory, and is also related to database theory and data structure in computer science.

Baidu encyclopedia-discrete mathematics