南京邮电大学离散数学_实验三求主析取及主合取范式解析.docVIP

实 验 报 告 （20 / 2016 学年 第 学期） 课程名称 实验名称 实验时间 年 月 日 指导单位 系 指导教师 学生姓名 班级学号 学院(系) 专 业 实 验 报 告 实验名称 指导教师 实验类型 实验学时 实验时间 实验目的和要求 二、实验环境(实验设备) 三、实验原理及内容 实 验 报 告 四、实验小结（包括问题和解决方法、心得体会、意见与建议等） 通过本次实验掌握了使用程序进行 偏序关系中盖住关系的求取以及格论中有补格的判定，也使得我们更好的掌握了使用编程思想处理数学问题。 五、指导教师评语 成 绩 批阅人 日 期 5