离散数学的一个简单题 求这个公式的析取范式和合取范式 帮帮忙 要详细步骤 谢谢！ 公式 100
1个回答
展开全部
(p→¬q)∨¬r
⇔(¬p∨¬q)∨¬r 变成 合取析取
⇔¬p∨¬q∨¬r 结合律
得到主合取范式，再检查遗漏的极大项
⇔M₇⇔∏(7)
⇔¬∏(0,1,2,3,4,5,6)⇔∑(0,1,2,3,4,5,6)⇔m₀∨m₁∨m₂∨m₃∨m₄∨m₅∨m₆
⇔¬(p∨q∨r)∨¬(p∨q∨¬r)∨¬(p∨¬q∨r)∨¬(p∨¬q∨¬r)∨¬(¬p∨q∨r)∨¬(¬p∨q∨¬r)∨¬(¬p∨¬q∨r) 德摩根定律
⇔(¬p∧¬q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧q∧¬r)∨(¬p∧q∧r)∨(p∧¬q∧¬r)∨(p∧¬q∧r)∨(p∧q∧¬r) 德摩根定律
得到主析取范式
⇔(¬p∨¬q)∨¬r 变成 合取析取
⇔¬p∨¬q∨¬r 结合律
得到主合取范式，再检查遗漏的极大项
⇔M₇⇔∏(7)
⇔¬∏(0,1,2,3,4,5,6)⇔∑(0,1,2,3,4,5,6)⇔m₀∨m₁∨m₂∨m₃∨m₄∨m₅∨m₆
⇔¬(p∨q∨r)∨¬(p∨q∨¬r)∨¬(p∨¬q∨r)∨¬(p∨¬q∨¬r)∨¬(¬p∨q∨r)∨¬(¬p∨q∨¬r)∨¬(¬p∨¬q∨r) 德摩根定律
⇔(¬p∧¬q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧q∧¬r)∨(¬p∧q∧r)∨(p∧¬q∧¬r)∨(p∧¬q∧r)∨(p∧q∧¬r) 德摩根定律
得到主析取范式
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
|
广告 您可能关注的内容 |
