yshy数据结构与算法课程设计报告.docVIP

... ... 数据结构与算法课程设计报告 真值表的设计与实现 （注：本程序于VS2008中编译运行并测试，VC6.0中运行不保证正常运行） 问题描述： 对给出的任意一个合式公式（不超过四个命题变元），用C++语言的程序编程表示出来，并且能够计算它在各组真值指派下所应有的真值，画出其真值表。 基本要求： （1）已知命题p和q的真值，求出它们的合取、析取、蕴涵和等价的真值； （2）表示出合式公式； （3）给出任意一个合式公式（不超过四个命题变元），设计程序把它表示出来，并且能够计算它在各组真值指派下所应有的真值（或是逻辑运算的结果）。 提高要求：构造任意合式公式的真值表 需求分析： 命题公式；真值表；类；运算符重载；递归；字符串 软件的基本功能：对给出的任意一个合式公式（不超过四个命题变元），能够计算它 在各组真值指派下所应有的真值，并画出其真值表。 测试数据要求：1）给出命题p和q的真值，求合取、析取、蕴涵和等价的真值； 2）给出任意一个合式公式（不超过四个命题变元） 3）错误提示不明显需测试者核对输入公式准确性。 3、详细设计： 定义命题变元类Proposition： class Proposition { int data;char data1; //data:命题的真值（0/1） data1：命题名 public: