离散数学 求﹁(p^q)^(p∨q)，谢谢啦
1个回答
展开全部
¬(p∧q)∧(p∨q)
⇔ (¬p∨¬q)∧(p∨q) 德摩根定律
得到主合取范式，
再检查遗漏的极大项
⇔ M0∧M3
⇔ ∏(0,3)
⇔ ¬∏(0,3)
⇔ ∑(0,3)
⇔ m0∨m3
⇔ ¬(p∨¬q)∨¬(¬p∨q) 德摩根定律
⇔ (¬p∧q)∨(p∧¬q) 德摩根定律
得到主析取范式
⇔ (¬p∨¬q)∧(p∨q) 德摩根定律
得到主合取范式，
再检查遗漏的极大项
⇔ M0∧M3
⇔ ∏(0,3)
⇔ ¬∏(0,3)
⇔ ∑(0,3)
⇔ m0∨m3
⇔ ¬(p∨¬q)∨¬(¬p∨q) 德摩根定律
⇔ (¬p∧q)∨(p∧¬q) 德摩根定律
得到主析取范式
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
