1、需要了解一下數學概念。簡而言之，主合取正規化，就是若干個極大項的合取（交集）。
2、主析取正規化，就是若干個極小項的析取（並集）。
3、而所謂的極大項，就是包含全部數目的命題變元的析取表示式例如：p∨¬q∨r。
4、所謂的極小項，就是包含全部數目的命題變元的合取表示式例如：¬p∧¬q∧r。
5、下面言歸正傳，我們看如何按步驟求解命題公式的主合取正規化與主析取正規化。常用的方法有兩種，等值演演算法和真值表法等值演演算法，就是按照步驟推導公式，最終得到主合取正規化或者主析取正規化。
6、下面來舉個例子，求出命題公式的主合取正規化與主析取正規化(p→¬q)↔r⇔ (¬p∨¬q)↔r⇔ [(¬p∨¬q)→r] ∧ [r→(¬p∨¬q)]⇔ (¬(¬p∨¬q)∨r)∧ (¬r∨¬p∨¬q)⇔ ((p∧q)∨r)∧ (¬p∨¬q∨¬r)⇔ (p∨r)∧(q∨r)∧ (¬p∨¬q∨¬r)⇔ [p∨(q∧¬q)∨r]∧[(p∧¬p)∨q∨r]∧ (¬p∨¬q∨¬r)⇔ (p∨q∨r)∧ (p∨¬q∨r)∧ (p∨q∨r)∧ (¬p∨q∨r) ∧ (¬p∨¬q∨¬r)⇔ (p∨q∨r)∧ (p∨¬q∨r)∧(¬p∨q∨r) ∧ (¬p∨¬q∨¬r)得到主合取正規化。
7、檢查主合取正規化中遺漏的4個主項p∨q∨¬r，p∨¬q∨¬r，¬p∨q∨¬r，¬p∨¬q∨r可以反推出它的主析取正規化⇔(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧¬r)得到主析取正規化。
8、最後，看如何使用真值表方法，求命題公式的主合取正規化與主析取正規化。
9、來看這樣一個具體例子。根據真值表，我們取值為0的指派，得到最大項從而寫出最大項的合取，得到主合取正規化。
1、需要了解一下數學概念。簡而言之，主合取正規化，就是若干個極大項的合取（交集）。
2、主析取正規化，就是若干個極小項的析取（並集）。
3、而所謂的極大項，就是包含全部數目的命題變元的析取表示式例如：p∨¬q∨r。
4、所謂的極小項，就是包含全部數目的命題變元的合取表示式例如：¬p∧¬q∧r。
5、下面言歸正傳，我們看如何按步驟求解命題公式的主合取正規化與主析取正規化。常用的方法有兩種，等值演演算法和真值表法等值演演算法，就是按照步驟推導公式，最終得到主合取正規化或者主析取正規化。
6、下面來舉個例子，求出命題公式的主合取正規化與主析取正規化(p→¬q)↔r⇔ (¬p∨¬q)↔r⇔ [(¬p∨¬q)→r] ∧ [r→(¬p∨¬q)]⇔ (¬(¬p∨¬q)∨r)∧ (¬r∨¬p∨¬q)⇔ ((p∧q)∨r)∧ (¬p∨¬q∨¬r)⇔ (p∨r)∧(q∨r)∧ (¬p∨¬q∨¬r)⇔ [p∨(q∧¬q)∨r]∧[(p∧¬p)∨q∨r]∧ (¬p∨¬q∨¬r)⇔ (p∨q∨r)∧ (p∨¬q∨r)∧ (p∨q∨r)∧ (¬p∨q∨r) ∧ (¬p∨¬q∨¬r)⇔ (p∨q∨r)∧ (p∨¬q∨r)∧(¬p∨q∨r) ∧ (¬p∨¬q∨¬r)得到主合取正規化。
7、檢查主合取正規化中遺漏的4個主項p∨q∨¬r，p∨¬q∨¬r，¬p∨q∨¬r，¬p∨¬q∨r可以反推出它的主析取正規化⇔(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧¬r)得到主析取正規化。
8、最後，看如何使用真值表方法，求命題公式的主合取正規化與主析取正規化。
9、來看這樣一個具體例子。根據真值表，我們取值為0的指派，得到最大項從而寫出最大項的合取，得到主合取正規化。