如何求解 (pvq)→(q→p) 的主析取范式

(p∨q)→(q→p) 的主析取范式为：

¬(p∨q)∨(¬q∨p)

步骤如下：

1. 将条件语句转化为蕴含式：¬(p∨q)∨(¬q∨p)
2. 使用德摩根定律将否定运算符移到括号内，并将或运算符转化为与运算符：(¬p∧¬q)∨(¬q∨p)
3. 使用分配律将第一个合取项分配到第二个析取项内：(¬p∨¬q∨¬q)∧(¬p∨p∨¬q)
4. 使用恒等律化简两个合取项：(¬p∨¬q)∧(¬p∨p∨¬q)
5. 使用恒等律再次化简：¬p∨¬q