真值表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