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

第二三步怎么来的

2024-11-22 12:00:02

推荐回答（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：

第二三步怎么来的