结构推理 求公式P∧(P→Q)的析取范式和合取范式.
【正确答案】①P∧(P→Q)=P∧(¬P∨Q)
   =(P∧¬P)∨(P∧Q)
   =P∧Q.
   ②  P∧(P→Q)=P∧(¬P∨Q)
   =(P∨(Q∧¬Q))∧(¬P∨Q)
   =(P∨Q)∧(P∨¬Q)∧(¬P∨Q).
【答案解析】