Question

离散数学 A∧B→(A→C)∧(C∧D)→E∧┐F→(D∧┐E)蕴含B→F 用CP规则求解

求具体步骤。尤其是到了C∧((C∧D)→E)∧(┐F→(D∧┐E))再怎么转化
A∧(B→(A→C))∧(C∧D)→E∧┐F→(D∧┐E)
题目是这个 刚刚忘了个括号

• 你的回答被采纳后将获得：
• 系统奖励15（财富值+成长值）+难题奖励30（财富值+成长值）

Answer 1

(p←→q)

<=> (p→q)∧(q→p)
<=> (┐p∨q)∧(┐q∨p)
<=> (┐p∧┐q)∨ (┐p∧p)∨(q∧┐q)∨(q∧p)
<=> (┐p∧┐q)∨(q∧p)
<=> ┐(p∨q)∨(q∧p)
=> ┐(p∨q)

追问

题目里没有双条件啊