离散数学实验报告
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
实验报告
(2016 / 2017 学年第一学期)
课程名称离散数学
实验名称利用真值表法求取主析取范式以及主合取范
式的实现
实验报告
实验报告
的字母变量的表达式。
本程序中或运算为| , 与运算为& ,单条件为-> ,双条件我<=> ,非运算为!
测试一:
输入P&Q
运行截图:
结果:正确
测试二:
输入书上第37页下方例题(P&Q)|(!P&R)
结果:正确
测试三:
课本39页(4)d)(P->(Q&R))&(!P->(!Q&!R))
测试四
输入A&B&C&D&E
正确
测试五
输入课本39页(2)b)
P->((Q&R)->S)
正确
测试六:
输入:课本39页(4)a)(!P|!Q)->(P<=>!Q)
正确
实验报告