请问一下 离散数学这道题把它转化为主合取范式要怎么写呢？
2个回答
展开全部
p→(q→p)
⇔¬p∨(q→p) 变成 合取析取
⇔¬p∨(¬q∨p) 变成 合取析取
⇔¬p∨(p∨¬q) 交换律 排序
⇔¬p∨p∨¬q 结合律
⇔TRUE
是重言式，主合取范式，写成
(¬p∨q)∧(p∨¬q)∧(p∨q)∧(¬p∨¬q)
⇔¬p∨(q→p) 变成 合取析取
⇔¬p∨(¬q∨p) 变成 合取析取
⇔¬p∨(p∨¬q) 交换律 排序
⇔¬p∨p∨¬q 结合律
⇔TRUE
是重言式，主合取范式，写成
(¬p∨q)∧(p∨¬q)∧(p∨q)∧(¬p∨¬q)
追问
哦。好的 我还想问一下为什么最后主合取范式写成这种形式呢？
追答
不好意思，TRUE的主合取范式，应该直接写TRUE
本回答被提问者和网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
展开全部
，，，
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
