用等值演算法求P→((P→Q)∧┐(┐Q∨┐P))的主析取范式和主合取范式

Answer 1

原式=(p∨q)∧(q∧r)=(p∧q∧r)∨(q∧q∧r)=(p∧q∧r)∨(q∧r)=(p∧q∧r)∨(q∧r∧(p∨┐p))=
(p∧q∧r)∨(q∧r∧p)∨(q∧r∧┐p)=(p∧q∧r)∨(┐p∧q∧r)

追问

没有r啊，亲