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

命题公式主范式的求法及应用
2

———————————————————————————————— 作者：
———————————————————————————————— 日期：

个人收集整理 勿做商业用途
个人收集整理 勿做商业用途
个人收集整理 勿做商业用途

PINGDINGSHAN UNIVERSITY

毕业论文(设计)
题 目： 命题公式主范式的求法及应用


院（系）： 数学与信息科学学院
专业年级： 数学与应用数学05级
姓 名： 马蓓蓓
学 号: 051030233
指导教师： 屈聪 硕士
2009月3日
0

个人收集整理 勿做商业用途
个人收集整理 勿做商业用途
个人收集整理 勿做商业用途

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
1

个人收集整理 勿做商业用途
个人收集整理 勿做商业用途
个人收集整理 勿做商业用途
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