勵志

勵志人生知識庫

求主析取範式

求主析取範式的方法主要有兩種:真值表法配湊法

真值表法:

寫出原公式的真值表。

把真值為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)。