Question

离散数学如何用等值演算法求(p∧q)∨r的主析联范式?

Answer 1

非 “主析联范式” 而是 “主析取范式”.这种例子教科书上有的,翻翻书,用上常用的命题等价式,依样画葫芦即可.

(p∧q)∨r

(p∨r)∧(q∨r)

((p∨q∨r)∧(p∨﹁q∨r))∧((p∨q∨r)∧(﹁p∨q∨r))

(p∨q∨r)∧(p∨﹁q∨r)∧(﹁p∨q∨r)

M0∧M2∧M4 (主合取范式)

m1∨m3∨m5∨m6∨m7 (主析取范式)