离散数学实验报告

  • 格式:doc
  • 大小:326.00 KB
  • 文档页数:12

实验报告
(2016 / 2017 学年第一学期)
课程名称离散数学
实验名称利用真值表法求取主析取范式以及主合取范
式的实现
实验报告
实验报告
return 0;
}
程序测试与分析:
由于使用了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)
实验报告。