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

(pvq)→(q→p) 的主析取范式为 ~pv~q v (~qv p)。

步骤如下：

1. 对(pvq)和(q→p)分别进行逆否化，得到~q→~p和p→q。

2. 对~q→~p和p→q进行析取，得到(~q→~p) v (p→q)。

3. 对(~q→~p)和(p→q)分别进行转化，得到qv~p和~p v q。

4. 对qv~p和~p v q进行析取，得到~pv~q v (~qv p)。