Question

P∨(Q∧R)→(P∧Q∧R )的主析取范式和 主合取范式

Answer 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)]

另一范式雷同