离散数学证明题，如图。请给出详细步骤。
1个回答
展开全部
可以先用等值演算，然后使用永真蕴含式中的简化式，来证明
¬(A∧¬B)∧(¬B∨C)∧¬C
⇔(¬A∨B)∧(¬B∨C)∧¬C 德摩根定律
⇔(¬A∨B)∧¬B∧¬C 合取析取 吸收率
⇔¬A∧¬B∧¬C 合取析取 吸收率
⇒¬A
¬(A∧¬B)∧(¬B∨C)∧¬C
⇔(¬A∨B)∧(¬B∨C)∧¬C 德摩根定律
⇔(¬A∨B)∧¬B∧¬C 合取析取 吸收率
⇔¬A∧¬B∧¬C 合取析取 吸收率
⇒¬A
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
