命题逻辑公式主析取范式及类型解析 - (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)

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