结构推理
求公式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).
【答案解析】
提交答案
关闭