离散数学命题公式的一个演示程序
用VC6.0编写的一个演示命题公式判断和运算的程序,程序通过对话框和用户实现交互,可以求解命题公式的真值表、主合取范式、主析取范式等等。
下载地址
用户评论
很好,很实用,适合学习