求p → q^q → p 的主合取范式。

首先，我们可以使用推理规则将 (p → q)^q → p 转换为等价式：

(p → q)^q → p ≡ ¬(p → q) ∨ q → p （条件推导） ≡ (¬¬p ∧ ¬q) ∨ q → p （条件推导） ≡ (p ∧ ¬q) ∨ q → p （双重否定法）

接下来，我们可以将上式转换为主合取范式，即使用合取和否定将式子化为一个合取范式：

(p ∧ ¬q) ∨ q → p ≡ ¬(p ∧ ¬q) ∧ ¬q ∨ p （条件推导） ≡ (¬p ∨ q) ∧ ¬q ∨ p （德摩根定律） ≡ (¬p ∧ ¬q) ∨ (q ∧ ¬q) ∨ p （分配律和结合律） ≡ (¬p ∧ ¬q) ∨ false ∨ p （与非运算） ≡ (¬p ∧ ¬q) ∨ p （零和律）

因此，(p → q)^q → p 的主合取范式为 (¬p ∧ ¬q) ∨ p。