提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

文章目录

• 析取范式和合取范式
• • 主范式、大项、小项
  • 求主范式

析取范式和合取范式

析取范式最外层的运算必须是析取，在上面第二点中打了括号以后最外层不是析取，不能再作为析取范式，可以看作一个析取式的合取，所以可以看成合取范式

主范式、大项、小项

主析取范式的定义：

主合取范式：




大项的性质

主合取范式：

求主范式

等值变换法：

标签：合取范式,析取,复习,大项,离散数学,小项,析取范式,范式
来源： https://blog.csdn.net/qq_41358574/article/details/122188991