离散数学如何用等值演算法求(p∧q)∨r的主析联范式?
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/06 16:55:47
![离散数学如何用等值演算法求(p∧q)∨r的主析联范式?](/uploads/image/z/13283222-14-2.jpg?t=%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%E5%A6%82%E4%BD%95%E7%94%A8%E7%AD%89%E5%80%BC%E6%BC%94%E7%AE%97%E6%B3%95%E6%B1%82%28p%E2%88%A7q%29%E2%88%A8r%E7%9A%84%E4%B8%BB%E6%9E%90%E8%81%94%E8%8C%83%E5%BC%8F%3F)
离散数学如何用等值演算法求(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 (主析取范式)