真值表C算法实现.docVIP

08届（设计）论文 题 目 专业班级 信息与计算科学(1)班 学 号 16 学生姓名 指导教师 指导教师职称 学院名称 理学院 完成日期： 20年 月日 关键词：本文个命题变元的命题公式的真值表的C++算法。全文共3章。 第1章介绍了第2章武汉工程大学理学院第1章 课题背景 1．1背景 设为含有命题变元的命题公式，给一组确定的取值，称为公式关于的一组真值指派。含有个命题变元的公式有组不同的真值指派，对于每一组真值指派，公式都有一个确定的真值（一般用“0”表示假，“1”表示真）。公式与其命题变元之间的真值关系可以用真值表的方法方便的表示出来。 1．2 性质 含有个命题变元的公式有组不同的真值指派，对于每一组真值指派，公式都有一个确定的真值（一般用“0”表示假，“1”表示真）。 1．3 意义 使用计算机来完成各种复杂的真值表计算，尤其是当命题变元增多时，对应的取值成指数增长，计算量也指数增长，紧靠人很难完成。应用计算机强大的计算能力，可以又好又快的完成任意命题公式的真值表的计算。 1．4 实验数据与结果 实验时，本文主要是用编写的程序计算参考资料[1]上的相关命题公式来验证相关算法的正确性，稳定性。 由程序计算得出的命题公式的真值表： [1]上236页给出的答案： 000 1 1 0 0 001 1 1 1 1 010 0 0 1 0 011 0 0 1 0 100 0 1 0 0 101 0 1 1 0 110 1 0 1 1 111 1 0 1 1 二者除命题变元取值顺序不一样外，最后的真值结果完全吻合，表明算法的正确性、稳定性。 1．5 文献综述 文[1]介绍了命题变元与命题公式真值表的相关知识。 文[2]介绍了C++程序设计基础知识。 文献[3]提供了C++面向对象的程序设计相关知识。 第2章 问题的分析与算法的实现 2．1 问题的分析 对于含有个命题变元的公式有组不同的真值指派，对于每一组真值指派，公式都有一个确定的真值（这里“0”表示假，“1”表示真）。为了枚举出所有的情形，须用重for循环，为了使程序具有通用性，的取值是不确定的。这时，使用递归的算法就较方便。 给命题变元赋值的问题解决后，还得解决计算问题，在这里，本文采用面向对象的方法，通过运算符的重载来完成相关计算。定义了类Proposition，它包括两个变量——命题变元名和命题变元的真值，和相关成员函数、需重载的运算符。 再设计计算真值的函数，考虑到命题公式中可能会出现括号，改变了运算的优先级，本文同样采用递归的算法，当遇到括号时，把括号里面的部分作为一个命题公式来计算，再把结果作为一个命题变元放到整个命题公式进行计算，而当遇到相关的运算符时，重载运算符进行计算。最后返回真值。 最后，主函数只需完成输入并存储命题变元与命题公式，调用赋值函数就行了。 由以上方法可以进行真值的运算，但程序冗余太长，再对其进行优化处理，用另一函数来代替大量重复的代码，使程序更简洁。 2．2算法的实现 定义命题变元类Proposition： class Proposition { int data;char data1; //data:命题的真值（0/1） data1：命题名 public: Proposition(){data=2;data1=A;}; friend Proposition operator !(Proposition q); //定义否定运算符! friend Proposition operator (Proposition p,Proposition q);//定义合取运算符 friend Proposition operator |(Proposition p,Proposition q);//定义析取运算符| friend Proposition operator (Proposition p,Proposition q);//定义蕴含运算符 friend Proposition operator (Proposition p,Proposition q);//定义等值运算符 void input1(int x){data=x;} //输入data void input2(char x){data1=x;} //输入data1 int get(){return data;} //获取真值 int get1(){return data1;} //获取命题名 }; Proposition operator !(Propos