长治学院
《离散数学》实验报告
专 业: 计算机科学与技术
班 级: 计科1202班
学 号:
姓 名: 武文超
组 别: 1
指导老师: 李艳玲
2013.11.30~2013.12.21
PAGE
PAGE 11
PAGE
PAGE 1
目录
一、实验目的··································3
二、算法思想··································3
三、流程图····································4
四、实验结果(截图)···························5
五、程序代码··································7
六、总结·····································10
一、实验目的
本实验课程是信息专业学生的一门专业基础课程,通过实验,帮助学生更好地掌握计算机科学技术常用的离散数学中的概念、性质和运算;通过实验提高学生编写实验报告、总结实验结果的能力;使学生具备程序设计的思想,能够独立完成简单的算法设计和分析。
熟悉掌握合取、析取、蕴涵和等价,进一步能用它们来解决实际问题。
二、算法思想
1. 从键盘输入两个命题变元P和Q的真值,求它们的合取、析取、蕴含和等价的真值。
(1)合取:二元命题联结词。将两个命题P、Q联结起来,构成一个新的命题P∧Q, 读作P、Q的合取, 也可读作P