《离散数学》 课程实验指导书
长 沙 学 院 计 算 机 科 学 与 技 术 系
前 言
《离散数学》是现代数学的一个重要分支，是计算机科学与技术专业的基础理论课，也是该专业的核心课程和主干课程。“离散数学”是计算机专业一门重要的专业技术基础课程，是计算机专业的一门核心的关键性课程。该课程一方面为后继课程如数据结构、编绎原理、操作系统、数据库原理、人工智能和形式语言与自动机等提供必要的理论基础；同时，更为重要的是培养学生的抽象思维能力和逻辑推理能力，为今后的学习和工作打好基础。无论从计算机学科发展的过去、现在和未来看，《离散数学》都是计算机科学与技术专业不可缺少的重要组成部分。这门课程有着其它课程不可替代的地位和作用，是一门承前启后的课程。
根据《离散数学》课程本身的理论性较强的特性，设置《离散数学实验》实践环节十分重要。通过实验实践内容的训练，突出逻辑性思维训练的特征, 目的是提高学生学习的兴趣及实际动手的能力。
为了帮助学生更好地学习本课程，理解和掌握所学基本概念和方法，为整个专业学习打好基础，要求运用所学知识，上机解决一些典型问题.本指导书根据本课程要求编写这本指导书。以期为同学作实验提供帮助！
编者
2006年2月
1
目 录
第一部分 实验内容
实验1：真值表判断………………………………………………………………………2 实验2：集合运算及关系运算……………………………………………………………3 实验3：求最短路径或平面图的判断（二选取一）……………………………………4
第二部分 实验指导
实验1：真值表判断………………………………………………………………….…..7 实验2：集合运算及关系运算………………………………………………………….12 实验3：求最短路径或平面图的判断（二选取一）………………………………….16
I
第一部分 实验内容
1
实验1：真值表
一、实验目的：
通过试验，了解命题的有关概念，真值表技术，连接词的作用与意义
二、实验类型：验证型实验
三、实验学时：2学时
四、实验原理及知识点
掌握命题公式及其类型的概念，熟悉逻辑连接词的运算规则，熟悉命题公式真值表的构成，并可用计算机实现
五、实验环境（硬件环境、软件环境）
1、 试验环境visual C＋＋ 6.0 2、 操作系统 window 2000、xp
六、实验内容及步骤
1、编写操作界面
使用MFC提供的DLG类，在面板上添加一个输入文本框作为输入公式的实例输入。添加两个按钮分别表示在程序面板上显示结果和利用输出文本文件显示并保存结果。
2、按照运算规则编写求真值表函数
在对应按钮的触发事件中添加对应的处理函数 3、测试与修改
七、思考与练习
利用真值表技术和公式的演算方法，如何求得公式对应的主析取范式和主合取范式，如何判断两公式是否相等，是否为永真式、永假式、可满足式？
2