离散数学实验报告3
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
《离散数学》
实验报告
学院
专业
指导教师
学号
姓名
提交日期
实验三命题公式的范式
一.实验目的
熟悉逻辑运算否定、合取、析取、蕴含、等价规则，利用程序语言实现命题公式的真值表运算，求公式的主析取范式及主合取范式。
二.实验内容
（一）用真值表法求出下列公式的主析取范式及主合取范式。
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 -