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

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