用等值演算法求公式(𝑝↔𝑞)→𝑟主析取范式（可先求主合取范式

首先，我们可以使用等值演算法将原公式转化为如下形式：

(𝑝↔𝑞)→𝑟 ≡ (𝑝→(𝑞→𝑟)) ∧ (𝑞→(𝑝→𝑟))

接着，我们可以使用主合取范式公式化简上式左侧的(𝑝→(𝑞→𝑟))，得到如下形式：

(𝑝→(𝑞→𝑟)) ≡ (¬𝑝 ∨ ¬𝑞 ∨ 𝑟)

同理，对上式右侧的(𝑞→(𝑝→𝑟))进行化简，得到如下形式：

(𝑞→(𝑝→𝑟)) ≡ (¬𝑞 ∨ ¬𝑝 ∨ 𝑟)

将上式左右两侧合并，得到如下主合取范式：

((¬𝑝 ∨ ¬𝑞 ∨ 𝑟) ∧ (¬𝑞 ∨ ¬𝑝 ∨ 𝑟))

接着，我们可以使用德摩根定理将上式化简为如下主析取范式：

((𝑝 ∧ 𝑞 ∧ ¬𝑟) ∨ (𝑝 ∧ ¬𝑞 ∧ ¬𝑟) ∨ (¬𝑝 ∧ 𝑞 ∧ ¬𝑟) ∨ (¬𝑝 ∧ ¬𝑞 ∧ ¬𝑟))

因此，原公式的主析取范式为：

(𝑝 ∧ 𝑞 ∧ ¬𝑟) ∨ (𝑝 ∧ ¬𝑞 ∧ ¬𝑟) ∨ (¬𝑝 ∧ 𝑞 ∧ ¬𝑟) ∨ (¬𝑝 ∧ ¬𝑞 ∧ ¬𝑟)