离散数学 输出真值表实验

本实验要求大家利用C/C＋＋语言，实现任意输入公式的真值表计算。一般我们将公式中的命题变元放在真值表的左边，将公式的结果放在真值表的右边。命题变元可用数值变量表示，合适公式的表示及求真值表转化为逻辑运算结果；可用一维数表示合式公式中所出现的n个命题变元，同时它也是一个二进制加法器的模拟器，每当在这个模拟器中产生一个二进制数时，就相当于给各个命题变元产生了一组真值指派。算法逻辑如下： （1）将二进制加法模拟器赋初值0 （2）计算模拟器中所对应的一组真值指派下合式公式的真值。 （3）输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。 （4）产生下一个二进制数值，若该数值等于2n-1，则结束，否则转（2）。