离散数学命题公式的一个演示程序

【文件属性】：
文件名称：离散数学命题公式的一个演示程序
文件大小：509KB
文件格式：RAR
更新时间：2013-10-05 11:14:01
命题公式 离散数学 用VC6.0编写的一个演示命题公式判断和运算的程序，程序通过对话框和用户实现交互，可以求解命题公式的真值表、主合取范式、主析取范式等等。

【文件预览】：
proposition
----StdAfx.cpp(213B)
----SkinPlusPlus.h(4KB)
----SkinPlusPlusDLL.lib(5KB)
----proposition.dsp(4KB)
----proposition.cpp(2KB)
----proposition.aps(21KB)
----ReadMe.txt(4KB)
----StdAfx.h(1KB)
----proposition.plg(256B)
----SkinPlusPlusDLL.dll(780KB)
----propositionDlg.h(2KB)
----Resource.h(1KB)
----StackOfProposition.h(2KB)
----res()
--------proposition.ico(1KB)
--------proposition.rc2(403B)
----proposition.opt(49KB)
----proposition.rc(6KB)
----proposition.dsw(547B)
----proposition.clw(2KB)
----StackOfProposition.cpp(624B)
----propositionDlg.cpp(15KB)
----Minimized.ssk(206KB)
----proposition.h(1KB)
----proposition.ncb(129KB)