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

二.实验内容
（一）预测比赛名次
写出下列题目的命题公式，并应用程序语言实现命题公式的真值表以求解问题。

有,
,四人参加百米赛跑，观众甲、乙、丙预测比赛的名次为：
A,
C
B
D
甲说：C第一，B第二；
乙说：C第二，D第三；
丙说：A第二，D第四；
比赛结束后发现甲、乙、丙每人的预测都只对一半，试问实际名次如何(假定没有并列者)？
（二）筛选产品方案
某工厂要从A 、 B 、 C 、 D 、 E 五种新型产品中选择几种产品投产，根据该厂的实际生产条件及市场需求的调查分析结果，选择时必须满足以下条件：
(1) 若选择A，则必须选择B；
(2) D 、E两种产品至少选择一种；
(3) B 、C两种产品只选择一种；
(4) C 、D两种产品都选择或都不选择；
(5) 若选E，则必须选择A和B。

请用命题公式真值表法为该厂做出选择方案。

三. 实验过程
（一）预测比赛名次
1. 算法分析：
列出命题公式，说明程序设计思路。

2. 程序代码：
3.实验数据及结果分析
列出求解的真值表，并筛选出正确答案。

（二）筛选产品方案
1. 算法分析：
列出命题公式，说明程序设计思路。

2. 程序代码：
3.实验数据及结果分析
列出求解的真值表，并筛选出正确答案。