如何理解命题变元的主合取范式和主析取范式？

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

百度百科-离散数学