真值表的C 算法实现.docVIP

武汉工程大学本科课程设计(论文) PAGE IX PAGE I 08届课程（设计）论文 题 目 命题公式的真值表算法 专业班级 信息与计算科学(1)班 学 号 0809030116 学生姓名 上官业云 指导教师 李圆媛 指导教师职称 讲师 学院名称 理学院 完成日期： 2010 年 09月27日 目 录 TOC \o 1-3 \h \u HYPERLINK \l _Toc23053 目 录 PAGEREF _Toc23053 I HYPERLINK \l _Toc11136 摘 要 PAGEREF _Toc11136 III HYPERLINK \l _Toc1202 前 言 PAGEREF _Toc1202 IV HYPERLINK \l _Toc9775 第1章 课题背景 PAGEREF _Toc9775 1 HYPERLINK \l _Toc14702 1．1背景 PAGEREF _Toc14702 1 HYPERLINK \l _Toc23485 1．2 性质 PAGEREF _Toc23485 1 HYPERLINK \l _Toc22302 1．3 意义 PAGEREF _Toc22302 1 HYPERLINK \l _Toc6846 1．4 实验数据与结果 PAGEREF _Toc6846 1 HYPERLINK \l _Toc22665 1．5 文献综述 PAGEREF _Toc22665 2 HYPERLINK \l _Toc18262 第2章 问题的分析与算法的实现 PAGEREF _Toc18262 3 HYPERLINK \l _Toc31697 2．1 问题的分析 PAGEREF _Toc31697 3 HYPERLINK \l _Toc12139 2．2算法的实现 PAGEREF _Toc12139 3 HYPERLINK \l _Toc26216 第3章 总 结 PAGEREF _Toc26216 13 HYPERLINK \l _Toc15682 致 谢 PAGEREF _Toc15682 14 HYPERLINK \l _Toc12722 参考文献 PAGEREF _Toc12722 15 HYPERLINK \l _Toc25623 附 录 PAGEREF _Toc25623 16 摘 要 为了解决命题公式的真值表算法问题，本文采用面向对象编程，输入命题变元，并以字符串形式读入命题公式，应用运算符重载来进行相关运算，并在C++（使用的编译工具为VS2010）下，给出了问题的具体解决方案。 关键词：命题公式；真值表；类；运算符重载；递归；字符串 前 言 本文解决了计算任意含个命题变元的命题公式的真值表的C++算法。全文共3章。 第1章介绍了问题背景、问题以及性质问题的意义。在本章中，还给出了具体的实验数据和我们查阅并借用的一些参考文献的主要内容。 第2章主要介绍了在对问题的分析后设计的算法，并编写程序，求出其具体调度方案。 第3章是本次课程设计的总结。 全文的最后是致谢、参考文献和程序的源代码。 上官业云 武汉工程大学理学院 第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 文献综述 文献 REF _Ref217351818 \r \h [1]介绍了命题变元与命题公式真值表的相关知