求主析取範式的方法主要有兩種:真值表法和配湊法。
真值表法:
寫出原公式的真值表。
把真值為1的項析取的結果就是主析取範式。
配湊法:
把析取合取非換成 +、*、'。
原式 = pq + p'r(原本就是與或式)。
求主析取或主合取(精髓:補缺少的變元)。
求主析取範式,缺少的變元以x + x'的形式補上。
求主合取範式,缺少的變元以xx'的形式補上。
例如,對於公式 (P→ (P∨Q))∨R,其主析取範式為所有小項的析取,即 P∨┐Q (┐P→Q)→(┐Q∨P)┐(P∨Q)∨(┐Q∨P) (┐P∧┐Q)∨(┐Q∨P) (P∧Q)∨(P∧┐Q)∨(┐P∧┐Q)。
另一種例子,對於公式 (P→ Q∧R)∧((┐P→ (┐Q∧┐R)),其主析取範式為:(P∧Q∧R)∨(┐P∧┐Q∧┐R)。