主合取正規化和合取正規化的區別

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

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

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

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