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