离散数学:求析取范式和合取范式

求公式P∧(P→Q)的析取范式和合取范式
2025-03-24 17:48:29
推荐回答(1个)
回答1:

跟据题意作等价变换即可:
P∧(P→Q)
⇔P∧(¬P∨Q) 变成 合取析取
⇔P∧Q 合取析取 吸收率
得到主析取范式

然后检查遗漏的极小项,取反,合取后得到,主合取范式:
(¬P∨¬Q)∧(¬P∨Q)∧(P∨¬Q)