通过求主析取范式求主合取范式(p→q)∧(q→r)，

P→Q等价于：(┐P)∨Q
P∨(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看成两件事，关系就是，或者非p，或者p则q，就是或者q。本回答被网友采纳

这是什么书，能说一下吗

第二三步怎么来的

第二三步怎么来的