2011离散数学验指导书.docVIP

实验要求 实验前，复习《离散数学》课程中的有关内容。 上机前编好程序，用实验报告纸写好，并利用开放机房上机调试。 编程要独立完成，程序应加适当的注释。 上机时携带书写在实验报告纸上的程序，经老师审查后方可进入实验室。 上机调试程序，经老师审查通过后提交实验报告（含在实验报告纸上的程序、在上面的修改、测试结果等），并把最后的源文件和运行程序等压缩后发送到chuanliang_xia@sdjzu.edu.cn，命名规则：以张其的第一个实验为例，1-2010111100-张其.rar 。 实验一 真值表判断 实验目的 公式是由命题变元、逻辑联结词、括号组成的合法的符号串，而命题变元是一个抽象的概念，若不指定命题变元的真值，则公式没有真值可言。反之，若对所有的命题变元都指定一定的真值，则公式就变成了一个具有确切真值的命题。将所有的这些命题变元的可能取值一一列出形成一个表格的形式，这个表格称为该公式的真值表。利用真值表技术和公式的演算方法，能够求得一公式对应的主析取范式和主合取范式，还能够判断两公式是否相等，是否为永真式、永假式、可满足式。 实验内容与要求 逻辑联接词的运算 从键盘输入两个命题变元P和Q的真值，输出它们的合取、析取、条件、双条件和P的否定的真值。 任意一个命题公式的真值表 实现任意输入公式的真值表计算。一般我们将公式中的命题变元放在真值表的左边，将公式的结果放在真值