郑泽国的回答：

P→Q等价于：(┐P)∨QP∨(Q∧R)→(P∧Q∧R)等价于：(┐P∨(Q∧R))∨(P∧Q∧R)后面无非就是一些化简方法：比如(Q∧R)=[(┐P)∧(Q∧R)]∨[P∧(Q∧R)]之类┐P=[(┐P)∧(Q∧R)]∨[(┐P)∧(┐Q∧R)]∨[(┐P)∧(Q∧┐R)]∨[(┐P)∧(┐Q∧┐R)]另一范式雷同

已然多健忘的回答：

p→q=┐p∨q, 因此前者=(┐p∨q)∧(┐r∨q) =(┐p∧┐r)∨q =┐(p∨r)∨q,,也就是p∨r→q 没学逻辑论也一看就是显然的 对于常人来说 (燕子低飞→要下雨)∧(蚂蚁搬家→要下雨)?(燕子低飞∨蚂蚁搬家→要下雨)