摘要:本文介绍了命题公式的主合取范式基本定义和主合取范式相关的一些定理,并对它也作了相应的解释;在此基础上,探讨了命题公式主合取范式的求法,并举出相应的例子。最后,具体给出了主合取范式的的应用,并联系实际对这些应用加以阐述。84496

毕业论文关键词:主合取范式;极大项;真值表;推演法(求法)

Propositional Formula in Conjunctive Paradigm

Abstract:This article describes the main propositional formula conjunctive normal basic definitions and theorems main CNF-related, and it also made the appropriate interpretation; on this basis, to explore the proposition Formulae CNF method for finding, citing relevant examples last。 particularly given the primary CNF applications and practice elaborated on these applications。 

Key words: Main CNF;Maximum item;Table deduction;Method (Seeking)

目    录

摘  要 1

引言 2

1。预备知识 3

1。1主合取范式的相关概念 3

2。求法简述 3

2。1求合取范式的一般步骤 3

2。2求主合取范式的一般步骤 4

2。3真值表法 5

3。主合取范式的用途 6

3。1求公式的成真与成假赋值 6

3。2判断公式的类型 7

3。3判断两个命题公式是不是等值 7

4。真值表和主合取范式的关系 8

5。结束语 8

参考文献 9

致谢 10

命题公式的主合取范式

引言

离散数学在每个学科领域,尤其是信息科学和工程、计算机科学和技术等范围都有着十分广泛的应用,与此同时离散数学也是很多专业课非常重要的先导课程。 而逻辑学中的命题公式的主合取范式又是离散数学很重要的内容。 论文网

命题公式的主合取范式在数学应用中具有很重要的意义,让命题公式变得规范化是它的主要目的,这样就方便于我们判断两个命题公式之间是不是等值的,命题公式的主合取范式还有一个用途是用来判别某一个命题公式是可满足式还是矛盾式,以及求解命题公式的成真赋值、成假赋值等。 

现在有许多命题公式的主合取范式相关的文章,它们讨论了主合取范式的求法及应用,但是仍有一些缺陷。例如,吴双权的文献[1][离散数学中的主合取范式]中介绍了四种求主合取范式的方法但是没能充分具体给出了主合取范式的的应用,胡纪华的文献[2][几类主范式在命题推理正确性判断中的应用]中没能具体探讨命题公式主合取范式的求法,在文献[11]和[12]虽然也对命题公式的主合取范式有相应的介绍,但是介绍的逻辑性不够强且内容不够完善。本文在上述文献的基础上,对命题公式的主合取范式的求法及其应用都进行了详细的归纳和总结,使命题公式的主合取范式有了更深刻的认识,同时也具有一定的理论意义和实践价值。文献综述

1。预备知识

1。1主合取范式的相关概念

(1)简单合取式

 定义:简单合取式是仅仅由有限个命题变项或者由否定构成的合取式。

(2)合取范式

上一篇:数学史融入初中数学教学的研究
下一篇:论数学在经济中的应用

浅谈中学数学函数最值问题的求解方法

基于决策树算法的篮球联赛预测

数形结合在中学数学中的...

浙江省工业企业发展的因子分析

中美小学数学课堂教学的比较

杭州历年中考三角形的题型分析

论数形结合在中学数学教育中的应用

互联网教育”变革路径研究进展【7972字】

麦秸秆还田和沼液灌溉对...

老年2型糖尿病患者运动疗...

安康汉江网讯

新課改下小學语文洧效阅...

张洁小说《无字》中的女性意识

我国风险投资的发展现状问题及对策分析

LiMn1-xFexPO4正极材料合成及充放电性能研究

网络语言“XX体”研究

ASP.net+sqlserver企业设备管理系统设计与开发