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

二.实验内容
（一）用真值表法求出下列公式的主析取范式及主合取范式。

p ∧(q ↔r)
（二）选课方案
某学生要从A、B 、C 三门选修课中选修1～2门，根据学校的排课计划以及该生的实际情况，选择时必须满足以下条件：
(1) 若选择A，则必须选择C；
(2) 若选择B，则不能选择C；
(3) 若不选择C，则可选择A或B。

问该生有几种选择方案。

（三）讨论公司派遣方案：
派小李或小张去上海出差。

若派小李去，则小赵要加班。

若派小张去，小王也得去。

但小赵没有加班。

问公司是如何派遣的。

令p：小李去上海
q：小张去上海
r: 小赵加班
s: 小王去上海
三. 实验过程
（一）求公式的主析取范式及主合取范式。

1. 算法分析：
列出命题公式，说明程序设计思路。

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

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

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

（三）讨论公司派遣方案：
1. 算法分析：
列出命题公式，说明程序设计思路。

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

- 2 -。