Question

求命题公式P∨Q主合取范式

Answer 1

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。离散数学可以看成是构筑在数学和计算机科学之间的桥梁，因为离散数学既离不开集合论、图论等数学知识，又和计算机科学中的数据库理论、数据结构等相关。

参考资料来源：百度百科-离散数学