离散数学如何用等值演算法求(p∧q)∨r的主析联范式？
2个回答
展开全部
非 “主析联范式” 而是 “主析取范式”。这种例子教科书上有的，翻翻书，用上常用的命题等价式，依样画葫芦即可。
(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 (主析取范式)
(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 (主析取范式)
更多追问追答
追问
多谢啦~
追答
连续几个问题都是你的，看来你是一个不爱番薯的学生。应该先把教材上的例题 “做” 懂了，再动手做习题，这才是学习的正常次序。
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
