等值演算法求主析取範式的步驟如下：
首先，將給定的公式轉換為合取範式（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)
這樣，我們就通過等值演算法得到了給定公式的主析取範式。