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