勵志

勵志人生知識庫

用等值演算法求主析取範式

等值演算法求主析取範式的方法如下:

首先,將公式轉換為等價的合取範式或析取範式。

檢查合取範式中是否遺漏了某些主項(即文字的組合),這些遺漏的主項可以通過邏輯運算(如∨、∧)重新組合成析取範式。

對於遺漏的主項,通過邏輯運算(如∨、∧)將它們與原有的公式中的主項進行組合,以形成新的析取項。

重複上述步驟,直到所有的主項都被考慮在內,最終得到主析取範式。

例如,對於公式p∨q∨¬r,p∨¬q∨¬r,¬p∨q∨¬r,¬p∨¬q∨r,可以通過等值演算法反推出它的主析取範式:

主析取範式 ⇔ (¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧¬r)。