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

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

离散数学如何用等值演算法求(p∧q)∨r的主析联范式?
非 “主析联范式” 而是 “主析取范式”.这种例子教科书上有的,翻翻书,用上常用的命题等价式,依样画葫芦即可.
　 　(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 (主析取范式)