主合取範式和合取範式的區別

主合取範式——由有限個極大項組成的合取式 。

1、主析取範式與主合取範式的下標是互補的。知道主析取，直接寫主合取，或者知道主合取，直接求主析取很方便。主析取範式是大學數學裏一門名叫離散數學的課程中的內容，析取範式(DNF)是邏輯公式的標準化（或規範化），它是合取子句的析取。

2、在離散數學中，主合取範式具有非常重要的意義，其主要目的在於討論公式的主合取範式。不僅可以判斷兩個公式是否相等，而且還可以判斷一個公式是否為恆真式或恆假式。主合取範式的方法，分為直接方法和間接方法兩類。

3、主範式用途：求出公式的主析取範式，若主析取範式中含有2個極小項，那這個公式就是重言式，求出公式的主合取範式，若主合取範式中含有2個極大項，那這個公式就是矛盾式，可滿足式：主析取範式中至少含有一個極小項，主合取範式中至少含有一個極大項