离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样的题就卡住

 我来答
  • 你的回答被采纳后将获得:
  • 系统奖励15(财富值+成长值)+难题奖励20(财富值+成长值)
度小鸣
推荐于2017-07-04 · 生活不止眼前的苟且,还有诗和远方。
度小鸣
采纳数:1933 获赞数:36977

向TA提问 私信TA
展开全部

理论基础

主合取范式:若干个极大项的合取。
主析取
范式:若干个极小项的析取。

合取:同真取真,其余取假,就相当于集合中的取交集;
析取:有真取真,同假取假,就相当于集合中的取并集。

定理:

(1)一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定。

(2)一个简单合取式是矛盾式当且仅当它同时含某个命题变项及它的否定。

定义:

(1)由有限个简单合取式构成的析取式称为析取范式。

(2)由有限个简单析取式构成的合取式称为合取范式。

(3)析取范式与合取范式统称为范式。

 

举例说吧:
例1, 求公式(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

主合取范式:
(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

从上面的例子你不难看出两者之间的关系吧!
就是一个主析取范式转化为主合取范式就是取其主析取范式内不存在的最小项的标号的最大项进行析取,反过来求也是一样的!

例2,文字:p,┐q,r,q.

简单析取式: p,q,p∨q,p∨┐p∨r,┐p∨q∨┐r.

简单合取式: p,┐r,┐p∧r,┐p∧q∧r,p∧q∧┐q.

 

亲手总结,望采纳!

本回答被提问者和网友采纳
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式