离散数学实验报告2[2].docxVIP

《离散数学》 实验报告 学院专业 指导教师学号 姓名 提交日期 - - PAGE 1 - 实验二命题公式的等值演算与真值表 一.实验目的 熟悉逻辑运算否定、合取、析取、蕴含、等价规则，利用程序语言实现命题公式的真值表运算，使其与命题的等值演算结果相同。 二.实验内容 （一）预测比赛名次 写出下列题目的命题公式，并应用程序语言实现命题公式的真值表以求解问题。有 A, B, C, D 四人参加百米赛跑，观众甲、乙、丙预测比赛的名次为： 甲说： C 第一，B 第二； 乙说： C 第二，D 第三； 丙说： A 第二，D 第四； 比赛结束后发现甲、乙、丙每人的预测都只对一半，试问实际名次如何 (假