用等值演算方法证明以下等值式
1个回答
展开全部
¬(p↔q)
⇔ ¬((p→q)∧(q→p)) 变成 合取析取
⇔ ¬((¬p∨q)∧(¬q∨p)) 变成 合取析取
⇔ ¬(¬p∨q)∨¬(p∨¬q) 德摩根定律
⇔ (p∧¬q)∨(¬p∧q) 德摩根定律
⇔ (p∨(¬p∧q))∧(¬q∨(¬p∧q)) 分配率
⇔ (p∨q)∧(¬q∨¬p) 吸收率
⇔ (¬q→p)∧(p→¬q) 等值蕴含式
⇔ p↔¬q
⇔ ¬((p→q)∧(q→p)) 变成 合取析取
⇔ ¬((¬p∨q)∧(¬q∨p)) 变成 合取析取
⇔ ¬(¬p∨q)∨¬(p∨¬q) 德摩根定律
⇔ (p∧¬q)∨(¬p∧q) 德摩根定律
⇔ (p∨(¬p∧q))∧(¬q∨(¬p∧q)) 分配率
⇔ (p∨q)∧(¬q∨¬p) 吸收率
⇔ (¬q→p)∧(p→¬q) 等值蕴含式
⇔ p↔¬q
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
