离散数学主析取范式的求析取范式

来源：蜘蛛抓取(WebSpider) 时间：2018-03-19 03:13 标签： 离散数学主析取范式

  南邮离散实验一 利用真值表法求主析取范式及主合取范式的实现

专业文档是百度文库认证用户/机构上传的专业性文档，文库VIP用户或购买专业文档下载特权礼包的其他会员用户可用专业文档下载特权免费下载专业文档。

专业文档是百度文库认证用户/机构上传的专业性文档，文库VIP用户或购买专业文档下载特权礼包的其他会员用户可用专业文档下载特权免费下载专业文档。

阅读已结束，下载本文需要

下载文档到电脑，同时保存到云知识，更方便管理

还剩18页未读， 继续阅读

实验二 实验题目： 生成主析取范式和主合取范式 实验目的： 熟悉地掌握计算机科学技术常用的离散数学中的概念、性质和运算；通过实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。 掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。 实验内容： 利用计算机构造真值表来建立主析取范式和主合取范式 实验原理： 合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∧Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P 为真, Q为真时方可P∧Q为真, 而P、Q只要有一为假则P∧Q 为假。 析取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∨Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P为假, Q为假时方可P∨Q为假, 而P、Q只要有一为真则P∨Q为真。 3.真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。 真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。 4.主析取范式：在含有n个命题变元的简单合取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单合取式为小项。由若干个不同的小项组成的析取式称为主析取范式;与A等价的主析取范式称为A的主析取范式。任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的。 5.主合取范式：在含有n个命题变元的简单析取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单析取式为大项。由若干个不同的大项组成的合取式称为主合取范式;与A等价的主合取范式称为A的主合取范式。任意含n个命题变元的非永真命题公式A都存在与其等价的主合取范式,并且是惟一的。 实验结果与分析： 实验结果： 实验分析： 参考前面实验的代码，生成真值表，然后找出所有值为1时，各变元的取值，从而生成相应的小项，最终得到主析取范式。找出值为0时各个变元的取值，从而生成相应的大项，最终得到主合取范式。 附：程序源代码：

拍照搜题，秒出答案，一键查看所有搜题记录

拍照搜题，秒出答案，一键查看所有搜题记录

离散数学： p∧q∧r是主析取范式吗 p∨q∨r是主合取范式吗 请说明为什么?

拍照搜题，秒出答案，一键查看所有搜题记录

p∧q∧r是主析取范式,这个主析取范式只有一个极小项m7
p∨q∨r是主合取范式,这个主合 取范式只有一个极大项M0

我要回帖

更多关于 离散数学主析取范式 的文章

 

随机推荐