西安电子科技大学内容总结和延伸》软件学院主析取范式若干个极小项的析取式。主合取范式若干个极大项的合取式。求主范式的方法真值表法，等价推演法。主析取范式和主合取范式相互可推导。西安电子科技大学 内容总结和延伸 软件学院 主析取范式 » 若干个极小项的析取式。 主合取范式 若干个极大项的合取式。 求主范式的方法 真值表法，等价推演法。 主析取范式和主合取范式相互可推导