作业帮 > 数学 > 作业

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

来源:学生作业帮 编辑:拍题作业网作业帮 分类:数学作业 时间:2024/04/30 19:57:18
离散数学如何用等值演算法求(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 (主析取范式)
再问: 多谢啦~
再答:   连续几个问题都是你的,看来你是一个不爱番薯的学生。应该先把教材上的例题 “做” 懂了,再动手做习题,这才是学习的正常次序。
再问: 多谢大神赐教,学生一定牢记,只是感觉书中例题略少。
再答: 手边最好还有一两本厚一点的参考书。
再问: 嗯,我在学校周边找找别的版本的参考书,这一本书是学校自己编的。