求析取範式的方法主要有兩種:等值演算法和真值表法。
等值演算法:按照步驟推導公式,最終得到主合取範式或者主析取範式。例如,求命題公式的主合取範式與主析取範式:(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∨r)∧ (p∨¬q∨r)∧ (¬p∨¬q∨¬r)得到主合取範式。
真值表法:根據真值表,取值爲0的指派,得到最大項,從而寫出最大項的合取,得到主合取範式。
以上兩種方法都可以用來求析取範式,具體使用哪種方法,需要根據實際情況來決定。