主合取范式和主析取范式的关系是什么?
展开全部
P 、Q、 R 、 PVQ 、 RVQ 、 (P∨Q)→(R∨Q);然后主析取范式为(-P∧-Q∧-R)V(-P∧-Q∧R)V(-P∧Q∧-R)V(-P∧Q∧R)V(P∧-Q∧R)V(P∧Q∧-R)V(P∧Q∧R)
主合取范式为PV-QV-R。
其中“-”是非。P∧Q就是这个公式的主析取范式,因为这个就是最小项m3,所以根据范式互补,它的主合取范式就是M0∧M1∧M2。
扩展资料:
求命题公式的主合取范式与主析取范式:主析取范式,就是若干个极小项的析取(并集);而所谓的极大项,就是包含全部数目的命题变元的析取表达式p∨¬q∨r。
所谓的极小项,就是包含全部数目的命题变元的合取表达式¬p∧¬q∧r。离散数学可以看成是构筑在数学和计算机科学之间的桥梁,因为离散数学既离不开集合论、图论等数学知识,又和计算机科学中的数据库理论、数据结构等相关。
参考资料来源:百度百科-离散数学
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询