p→(q∧(¬p↔q))的主公式的 析取范式式

合取范式与析取范式 合取 析取 合取范式 范式与张劭 数据库范式 主析取范式 合取式..
扫扫二维码,随身浏览文档
手机或平板扫扫即可继续访问
第二章析取范式与合取范式
举报该文档含有违规或不良信息。
反馈该文档无法正常浏览。
举报该文档为重复文档。
推荐理由:
您的内容已经提交成功
您所提交的内容需要审核后才能发布,请您等待!
3秒自动关闭窗口(P??Q)?(P??R) 析取范式P,Q,R,析取范式,数据析取,第三范式,范..
扫扫二维码,随身浏览文档
手机或平板扫扫即可继续访问
(P??Q)?(P??R) 析取范式
举报该文档含有违规或不良信息。
反馈该文档无法正常浏览。
举报该文档为重复文档。
推荐理由:
您的内容已经提交成功
您所提交的内容需要审核后才能发布,请您等待!
3秒自动关闭窗口离散数学问题_百度知道
离散数学问题
主析取范式和析取范式的区别
提问者采纳
主合取范式:若干个极大项的合取。主析取范式:若干个极小项的析取。例, 求公式(p∧q)∨r的主析取范式及主合取范式。主析取范式:(p∧q)∨r&==&(p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐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)&==&∑(m1,m3,m5,m6,m7)主合取范式(p∧q)∨r&==&(p∨r)∧(q∨r)&==&(p∨(q∧┐q)∨r)∧((p∧┐p)∨q∨r)&==&(p∨q∨r)∧(p∨┐q∨r)∧(p∨q∨r)∧(┐p∨q∨r)&==&(p∨q∨r)∧(p∨┐q∨r)∧(┐p∨q∨r)&==&∏(M0,M2,M4)也就是:∑(m1,m3,m5,m6,宫茅靛叛鄱纳凋妆动虱m7)&==&∏(M0,M2,M4)说明:∑:表示连续的合取;∏:表示连续的析取从上面的里子你不难看出两者之间的关系吧!一个主析取范式转化为主合取范式就是取其主析取范式内不存在的最小项的标号的最大项进行析取,反过来求也是一样的!
提问者评价
其他类似问题
等待您来回答
下载知道APP
随时随地咨询
出门在外也不愁析取与合取范式_百度文库
两大类热门资源免费畅读
续费一年阅读会员,立省24元!
文档贡献者贡献于
评价文档:
72页¥80.0072页¥80.0015页¥2.004页¥2.001页¥0.50 14页免费4页免费1页免费5页免费39页1下载券
喜欢此文档的还喜欢17页免费13页免费
析取与合取范式|
把文档贴到Blog、BBS或个人站等:
普通尺寸(450*500pix)
较大尺寸(630*500pix)
大小:49.50KB
登录百度文库,专享文档复制特权,财富值每天免费拿!
你可能喜欢离散数学: p∧q∧r是主析取范式吗 p∨q∨r是主合取范式吗 请说明为什么?_百度知道
离散数学: p∧q∧r是主析取范式吗 p∨q∨r是主合取范式吗 请说明为什么?
提问者采纳
这个主析取范式只有一个极小项m7p∨q∨r是主合取范式,p∧q∧r是主析取范式,这个主合 取范式只有一个极大项M0,
其他类似问题
析取的相关知识
其他1条回答
p∧q∧r是主析取范式吗 p∨q∨r是主合取范式吗 请说明为什么,,离散数学,
等待您来回答
下载知道APP
随时随地咨询
出门在外也不愁}

我要回帖

更多关于 公式的 析取范式 的文章

更多推荐

版权声明:文章内容来源于网络,版权归原作者所有,如有侵权请点击这里与我们联系,我们将及时删除。

点击添加站长微信