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

第二三步怎么来的

2024年11月22日 12:00

有4个网友回答

网友（1）：

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)]
另一范式雷同

网友（2）：

p→q，就是，如果p，则q成立。把p，q看成两件事，关系就是，或者非p，或者p则q，就是或者q。

网友（3）：

这是什么书，能说一下吗

网友（4）：

第二三步怎么来的