求命题公式（P∧Q）∨R的主析取范式和主合取范式

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

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

P Q R PVQ RVQ (P∨Q)→(R∨Q) 0 0 0 0 0 1 0 0 1 0 1 V(P∧Q∧R) 主合取范式为PV-QV-R 其中“-”是非，我没找到那个符号~

主析取：m1vm3vm5vm6vm7
主合取：M0^M2^M4
可以用真值表法或是等值演算法。

难道你也在机房？