离散数学实验报告

实验报告

（2016 / 2017 学年第一学期）

课程名称离散数学

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

式的实现

实验报告

实验报告

printf("\n\n");

}

return 0;

}

程序测试与分析：

由于使用了STL中vector数组和string 类，所以可以实现计算含有任意数量的字母变量的表达式。

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

测试一：

输入P&Q

运行截图：

结果：正确

测试二：

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

结果：正确

实验报告