离散数学实验报告

实验报告

（2016 / 2017 学年第一学期）

课程名称离散数学

实验名称利用真值表法求取主析取式以及主合取式的

实现

实验报告

实验报告

程序测试与分析：

由于使用了STL中vector数组和string 类，所以可以实现计算含有任意数

量的字母变量的表达式。

本程序中或运算为 | , 与运算为 & ,单条件为 -> ,双条件我 <=> ,非

运算为 !

测试一：

输入P&Q

运行截图：

结果：正确

测试二：

输入书上第37页下方例题 (P&Q)|(!P&R)

结果：正确

测试三：

课本39页（4）d） (P->(Q&R))&(!P->(!Q&!R))

测试四

输入A&B&C&D&E

正确

测试五

输入课本39页（2）b）

P->((Q&R)->S)

正确

测试六：

输入：课本39页（4）a） (!P|!Q)->(P<=>!Q)

正确

实验报告