离散数学1命题逻辑.docxVIP

南京工程学院 实 验 报 告 课 程 名 称 离散数学 实验项目名称 命题逻辑 实验学生班级 K 网络工程 121 实验学生姓名 王云峰 学 号 实 验 时 间 1 1 月 1 日实 验 地 点 信息楼 实验成绩评定 指导教师签字 年 月 日 一、实验目的和要求 真值表是命题逻辑中的一个十分重要的概念，利用它几乎可以解决命题逻辑中的所有问题。例如，利用命题公式的真值表，可以判断命题公式的类型、求命题公式的主范式、判断两命题公式是否等价，还可以进行推理等。 本实验通过编写一个程序，让计算机给出命题公式的真值表， 并在此基础上进行命题公式类型的判定、求命题公式的主范式等。目的是让学生更加深刻