求下面公式的主析取范式并说明公式类型 p v q → q → p

首先，我们可以使用条件分配律将公式转化为两个合取式之间的析取式：

(p v q) → (q → p) ≡ ¬(p v q) v (¬q v p)

然后，我们可以使用德摩根定律将第一个合取式中的否定移入括号中：

¬(p v q) ≡ ¬p ∧ ¬q

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

(¬p ∧ ¬q) v (¬q v p)

该公式属于命题逻辑中的条件语句类型。