p→(q∨r)⇔¬p∨(q∨r) 变成 合取析取⇔¬p∨q∨r 结合律得到主合取范式¬r→(p→q)⇔r∨(p→q) 变成 合取析取⇔r∨(¬p∨q) 变成 合取析取⇔r∨¬p∨q 结合律⇔¬p∨q∨r 交换律 排序得到主合取范式显然两者主合取范式一致，从而两个命题等价
