等值演算法求主析取範式的步驟如下:
首先,將給定的公式轉換為合取範式(CNF)或析取範式(DNF)。
檢查合取範式中是否遺漏了某些項,這些項在原邏輯公式中是必須考慮的。
對於每個遺漏的項,將其添加到當前的合取範式中,以形成新的子句。
將所有新的子句通過析取操作符(∨)連線起來,得到主析取範式(DNF)。
例如,考慮公式 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)∨(p∧q∧¬r)
這樣,我們就通過等值演算法得到了給定公式的主析取範式。