离散数学如何用等值演算法求(p∧q)∨r的主析联范式?
来源:学生作业帮助网 编辑:作业帮 时间:2024/05/11 16:22:10
离散数学如何用等值演算法求(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 (主析取范式)