作业帮离散数学主析取范式和合取范式大题求高手解答
来源：学生作业帮 编辑：作业帮 分类：综合作业 时间：2024/05/12 15:52:38
离散数学主析取范式和合取范式大题求高手解答
（1） ¬q∧(p→r)v(¬p∧q)主析取范式和合取范式
（2）pv¬r→p∧q主析取范式和合取范式
两题的答案求解答。
（1） ¬q∧(p→r)v(¬p∧q)主析取范式和合取范式
（2）pv¬r→p∧q主析取范式和合取范式
两题的答案求解答。
主析取范式是由极小项之和构成的，命题公式化简出来的主析取范式中包含的极小项，其下标对应的指派得到的命题公式的真值应该为1。
主合取范式由极大项之积构成，命题公式等价的主合取范式中包含的极大项，其对应下标应该是使对应的指派得到命题公式的真值为0.
所以，假设有三个命题変元，极小项和极大项的下标分别是0--7,如果一个命题変元的主析取范式表示为m1或m3或m5，它的主合取范式应该是M0且M2且M4且M6且M7.
也就是说下标是极小项下标集合的补集。
谢谢!
再问： 我需要的是帮我求出那两道题，大神
主合取范式由极大项之积构成，命题公式等价的主合取范式中包含的极大项，其对应下标应该是使对应的指派得到命题公式的真值为0.
所以，假设有三个命题変元，极小项和极大项的下标分别是0--7,如果一个命题変元的主析取范式表示为m1或m3或m5，它的主合取范式应该是M0且M2且M4且M6且M7.
也就是说下标是极小项下标集合的补集。
谢谢!
再问： 我需要的是帮我求出那两道题，大神