《离散数学》
实验报告
学院软件学院
专业计算机科学与技术指导教师
学号
姓名
提交日期2016.3.30
实验二命题公式的等值演算与真值表
一.实验目的
熟悉逻辑运算否定、合取、析取、蕴含、等价规则，利用程序语言实现命题公式的真值表运算，使其与命题的等值演算结果相同。

二.实验内容
写出下列题目的命题公式，并应用程序语言实现命题公式的真值表以求解问题。

（一）预测比赛名次
有A,B,C,D四人参加百米赛跑，观众甲、乙、丙预测比赛的名次为：
甲说：C第一，B第二；
乙说：C第二，D第三；
丙说：A第二，D第四；
比赛结束后发现甲、乙、丙每人的预测都只对一半，试问实际名次如何(假定没有并列者)？
（二）筛选产品方案。