离散数学实验报告_240111338.docVIP

南京工程学院 实 验 报 告 课程名称 离散数学 实验项目名称 命题逻辑 实验学生班级 K多媒体111 实验学生姓名 朱在吉 学　　　　号 240111338 同组学生姓名 实验时间 2012.10.25 实验地点 实验成绩评定 指导教师签字 　 年　月　日 一、实验目的和要求 真值表是命题逻辑中的一个十分重要的概念，利用它几乎可以解决命题逻辑中的所有问题。例如，利用命题公式的真值表，可以判断命题公式的类型、求命题公式的主范式、判断两命题公式是否等价，还可以进行推理等。 本实验通过编写一个程序，让计算机给出命题公式的真值表，并在此基础上进行命题公式类型的判定、求命题公式的主范式等。目的是让学生更加深刻地理解真值表的概念，并掌握真值表的求解方法及其在解决命题逻辑中其他问题中的应用。 二、实验主要仪器和设备 计算机 使用visual C++6.0为编程软件，采用C语言为编程语言实现。 三、实验方法与步骤（需求分析、算法设计思路、流