离散数学课程设计研究.docVIP

“离散数学”课程设计 题目： 命题公式的真值表算法 专 业 班 级 学 号 姓 名 2014.11.3  目录 一.实验目的 2 二.实验内容 2 1. 逻辑联接词的运算 2 2. 求任意一个命题公式的真值表 3 三.实验环境 3 四. 实验原理和实现过程（算法描述） 3 1.实验原理 3 2.实验过程 4 五.实验数据及结果分析 8 1.题A 8 2.B,C题 10 六. 源程序清单 14 1.A题部分源代码 14 2.B,C题部分源代码 15 七. 其他收获和体会 23 一.实验目的； 本实验课程是信息专业学生的一门专业基础课程，通过实验，帮助学生更好地掌握计算机科学技术常用的离散数学中的概念、性质和运算；通过实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。 熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。 二.实验内容； 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C）） 详细说明： 1. 逻辑联接词的运算 本实验要求大家利用C/C＋＋语言，实现二元合取、析取、条件和双条件