命题公式主范式求法及应用.doc

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 ,pany with examples to illustrate it; finally, the application of the principal norm form is given in seven aspects,which bined 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


(合)取范式5
利用等值演算法求命题公式主析(合)取范式7











逻辑学是研究思维和论证地科学,,伴随着计算机科学技术地迅猛发展,新地逻辑学分支——,,包括逻辑演算(命题演算与谓词演算)、公理集合论、证明论、递归函数论等,、自动控制、人工智能、程序设计、数据库理论以及计算机科学地其它领域有着广泛地应用.
,给出了主范式地基础定义及相关定理,并对其中定义给出解释,定理做出解释;接着,有前面地基础,探讨出主范式地两种求法——真值表和等值演算,举出例子来加强对这两种方法地理解;最后,总结主范式地应用,系统地给出它地应用地七个方面,列出实例来充分说明,这是本文地主要特色.


(1)单个命题变项和命题常项是合式公式,并称为原子命题公式.
(2)若是合式公式,则也是合式公式.
(3)若,是合式公式,则,,,也是合式公式.
(