主范式的求法及应用.doc

分类号 O158 单位代码 11395 密 级 学 号 1204210135 学生毕业论文 题 目 主范式的求法及应用 作 者 王定超 院 (系) 数学与统计学院 专 业 数学与应用数学 指导教师 祁兰 答辩日期 2016年5月21日 榆 林 学 院 毕业论文诚信责任书 本人郑重声明：所呈交的毕业论文，是本人在导师的指导下独立进行研究所取得的成果。毕业论文中凡引用他人已经发表或未发表的成果、数据、观点等,均已明确注明出处。尽我所知，除文中已经注明引用的内容外，本论文不包含任何其他个人或集体已经公开发表或撰写过的研究成果.对本文的研究做出重要贡献的个人和集体，均已在文中以明确方式标明. 本人毕业论文与资料若有不实，愿意承担一切相关的法律责任。 论文作者签名: 年 月 日 摘 要 主范式即主合取范式与主析取范式，它是数理逻辑中重要的基石也是推动计算机科学发展的动力，其方法与应用颇有价值.本文通过介绍主范式的相关定理、定义并作出相应解释，以及由范式的不唯一性引出主范式的唯一性，得到求主范式的三种方法：真值表法、真值指派法、等值演算法，并给出主范式的四种应用：判断几个命题公式是否等价、命题公式的类型、求公式的成真成假赋、解决实际问题. 关键词：主范式；真值表；真值指派法；等值演算法 The method and application of principal normal form ABSTRACT Principal normal form are the host conjunctive normal form and the host disjunctive normal form. It is an important cornerstone in the mathematical logic and the power of impelling the computer science development. The method and the application is of great value. In this paper, we make corresponding explanation and the non-uniqueness of the paradigm leads to the uniqueness of principal normal form by the introduction of related theorem of principal normal form and definition. We get the methods of principal normal form: truth table method, true value assignment method, and equivalent calculating method, and then give the applications of principal normal form: judging several propositional formulas whether equivalent or not, the type of propositional formula, seeking the formula of becoming true or false, and solve practical problems. Keywords: principal normal form; truth table; true value assignment method; equivalent calculating method 目 录 摘 要 I ABSTRACT II 目 录 III 1 引言 1 2 预备知识 2 3 主范式的求法 4 3.1真值表法 4 3.2真值指派法 6 3.3 等值演算法 8 4 主范式的应用 12 4.1求公式的成真成假赋 12 4.2 判断公式是否等值 12 4.3 判断公式的类型 13 4.4 解决实际问题 15 4 小结 17 参考文献 18 致 谢 19 1 引言 主范式即主析取范式与主合取范式，它