离散数学等值演算，跪求答案第十四题

（1）

p→（p∧(q→p)）
⇔ ¬p ∨ (p∧(¬q∨p))
⇔ ¬p ∨ (p∧¬q)∨p
⇔p∧¬q
得到主析取范式

检查遗漏的3个最大项
p∧q, ¬p∧q, ¬p∧¬q

⇔ (¬p∨¬q)∧(p∨¬q)∧(p∨q)
得到主合取范式

（2）
(q→p)∧(¬p∧q)
⇔(¬q∨p)∧¬p∧q
⇔(¬q∧¬p∧q)∨(p∧¬p∧q)
⇔恒为假本回答被提问者采纳