主范式的求法及应用

《主范式的求法及应用》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、.分类号O158单位代码11395密级学号1204210135学生毕业论文题目主范式的求法及应用作者王定超院(系)数学与统计学院专业数学与应用数学指导教师祁兰答辩日期2016年5月21日..榆林学院毕业论文诚信责任书本人郑重声明：所呈交的毕业论文，是本人在导师的指导下独立进行研究所取得的成果。毕业论文中凡引用他人已经发表或未发表的成果、数据、观点等,均已明确注明出处。尽我所知，除文中已经注明引用的内容外，本论文不包含任何其他个人或集体已经公开发表或撰写过的研究成果.对本文的研究做出重要贡献的个人和集体，均已在文中以明确方式标明.本人毕业论文与资料若有不实，愿意承担一切相关

2、的法律责任。论文作者签名:年月日..摘要主范式即主合取范式与主析取范式，它是数理逻辑中重要的基石也是推动计算机科学发展的动力，其方法与应用颇有价值.本文通过介绍主范式的相关定理、定义并作出相应解释，以及由范式的不唯一性引出主范式的唯一性，得到求主范式的三种方法：真值表法、真值指派法、等值演算法，并给出主范式的四种应用：判断几个命题公式是否等价、命题公式的类型、求公式的成真成假赋、解决实际问题.关键词：主范式；真值表；真值指派法；等值演算法..ThemethodandapplicationofprincipalnormalformABSTRACTPrincipalnorma

3、lformarethehostconjunctivenormalformandthehostdisjunctivenormalform.Itisanimportantcornerstoneinthemathematicallogicandthepowerofimpellingthecomputersciencedevelopment.Themethodandtheapplicationisofgreatvalue.Inthispaper,wemakecorrespondingexplanationandthenon-uniquenessoftheparadigmleads

4、totheuniquenessofprincipalnormalformbytheintroductionofrelatedtheoremofprincipalnormalformanddefinition.Wegetthemethodsofprincipalnormalform:truthtablemethod,truevalueassignmentmethod,andequivalentcalculatingmethod,andthengivetheapplicationsofprincipalnormalform:judgingseveralpropositiona

5、lformulaswhetherequivalentornot,thetypeofpropositionalformula,seekingtheformulaofbecomingtrueorfalse,andsolvepracticalproblems.Keywords:principalnormalform;truthtable;truevalueassignmentmethod;equivalentcalculatingmethod..目录摘要IABSTRACTII目录III1引言12预备知识23主范式的求法43.1真值表法43.2真值指派法63.3等值演算法84主范

6、式的应用124.1求公式的成真成假赋124.2判断公式是否等值124.3判断公式的类型134.4解决实际问题154小结17参考文献18致谢19..1引言主范式即主析取范式与主合取范式，它是离散数学数理逻辑的一个重要分支并是计算机科学基础的必备知识,它与计算机有着不可分割的关系.在计算机科学的操作系统、数据结构、算法分析、编译系统、系统结构、逻辑结构等都含有主范式的知识.随着计算机科学对人们的生活越来越重要，数理逻辑支撑学科的迅速发展，而主范式理论及应用是数理逻辑重要的概念之一，其方法和应用也颇具价值.范式分为合取范式与析取范式，而合取范式与析取范式在命题公式中不唯一，为使

7、命题公式的范式唯一即析取范式与合取范式进行规范化，化成命题公式的主合取范式与主析取范式.本文主要介绍主范式的三种方法——等值演算法、真值指派法、真值表法.利用真值表法可以快速，有效的得到主范式；真值指派法适合一些特殊的范式得到主范式，这两种方法都可以避免传统算法中较复杂的等值演算法.利用主范式可以求公式的成真成假赋值、判断公式的类型、几个公式的等值、在实际问题上也有一些具体应用，并给出相应例子加深理解主范式的方法和应用...2预备知识定义2.1[1]在一公式中，仅由命题变元及否定构成的析取式(合取式），称该公式为简单析取式(简