命题公式主范式的求法和应用.docVIP

PINGDINGSHAN UNIVERSITY 毕业论文(设计) 题 目: 命题公式主范式的求法及应用 院(系): 数学与信息科学学院 专业年级: 数学与应用数学05级 姓 名: 马蓓蓓 学 号: 051030233 指导教师: 屈聪 硕士 2009月3日 PINGDINGSHAN UNIVERSITY Thesis (design) Subject: The Solution and Application of Principal Norm Form college: Mathematics and Information Science Major and Grade: Mathematics and Applied Mathematics, Grade 2005 Name: Ma Bei-bei No.: 051030233 Advisor: Master Qu-Cong March3, 2009 中文摘要 本文介绍了命题公式主范式的基本定义及相关定理，并对其作出相应解释；在此基础上，探讨了命题公式主范式的两种求法--真值表和等值演算并举出相应的例子.最后，具体给出了主范式的七个方面的应用，并联系实际对这些应用加以阐述. 关键词：主范式，真值表，主析取范式，主合取范式 Abstract This paper introduces the basic definitions and related theorems of the principal norm form ,which are explained in some aspect. On the base of these ,in order to solove the principal norm form ,we discuss two methods which is truth table and equivalent calculus ,and company with examples to illustrate it; finally, the application of the principal norm form is given in seven aspects，which is combined with real life,and point out the application by union actual examples. Key words: Principal norm form, Truth table, Principal disjunctive norm form,Principal conjunctive norm form 目 录 1．基础知识1 1.1 相关基本概念1 1.2命题公式主范式重要的相关定理4 2.命题公式主范式的求法5 2．1用真值表求出主析(合)取范式5 2．2 利用等值演算法求命题公式主析(合)取范式7 3.命题公式主范式在数理逻辑中的重要作用8 3.1利用主范式可以判断两个命题公式是否等8 3.2主范式提供了最理想的判别命题公式的类型的判别方法8 3.3利用主范式可以将一命题公式进行化简9 3.4利用主范式可求公式的成真赋值与成假赋值9 3.5利用主范式可以写出一个命题公式的真值10 3．6利用主范式可以判断推理过程的准确性10 3.7可以应用主范式分析和解决实际问题11 4.附 录14 5.参考文献15 6.致 谢16 逻辑学是研究思维和论证的科学，也就是研究关于人类推理的学问.在20世纪的下半个世纪，伴随着计算机科学技术的迅猛发展，新的逻辑学分支——数理逻辑也发展起来.数理逻辑也称为符号逻辑，是一门运用数学的方法来研究推理的形式结构和推理规律的边缘性学科.其内容相当广泛，包括逻辑演算(命题演算与谓词演算)、公理集合论、证明论、递归函数论等，其中逻辑演算是其它各部分的基础.它在逻辑电路、自动控制、人工智能、程序设计、数据库理论以及计算机科学的其它领域有着广泛的应用. 本文主要介绍了命题公式主范式的求法及其应用.首先，给出了主范式的基础定义及相关定理，并对其中定义给出解释，定理做出解释；接着，有前