逻辑公式主析取范式推导： (p v q) → (q → p) 示例

首先，我们可以使用条件运算的等价形式：p → q = ¬p v q。将原公式中的条件运算改写为其等价形式，得到：

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

然后，我们可以使用德摩根定律将第一个括号中的析取运算转化为合取运算，将第二个括号中的条件运算转化为其等价形式，得到：

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

最后，我们可以使用分配律将合取运算分配到两个子句上，得到主析取范式：

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