数理逻辑辅助工具-合取范式&析取范式生成器

【文件属性】：
文件名称：数理逻辑辅助工具-合取范式&析取范式生成器
文件大小：8.12MB
文件格式：RAR
更新时间：2014-02-11 08:48:24
数理逻辑 二叉树 数据结构 数理逻辑的辅助小程序，可以给出任意命题公式的合取范式及析取范式。主要用二叉树实现。压缩包内有比较详细的说明文档

【文件预览】：
WinNfm
----Release()
--------WinNfm.pdb(2.77MB)
--------WinNfm.exe(898KB)
----WinNfm()
--------ReadMe.txt(965B)
--------Release()
--------NfmTree.cpp(6KB)
--------BinaryTree.h(5KB)
--------WinNfm.vcproj(6KB)
--------Form1.h(9KB)
--------WinNfm.vcproj.23A8287EC54E4DE.Administrator.user(1KB)
--------app.rc(1KB)
--------stdafx.h(177B)
--------Form1.resx(6KB)
--------Debug()
--------stdafx.cpp(137B)
--------WinNfm.cpp(388B)
--------resource.h(91B)
--------NfmTree.h(1KB)
--------AssemblyInfo.cpp(1KB)
--------BinaryTree.cpp(25B)
--------app.ico(1KB)
----WinNfm.sln(884B)
----WinNfm.ncb(10.96MB)
----Debug()
--------WinNfm.ilk(0B)
--------WinNfm.pdb(3.03MB)
--------WinNfm.exe(990KB)
----WinNfm.suo(14KB)
文档
----测试用例.txt(67B)
----NormalFormMaker.vsd(39KB)
----NormalFormMaker使用说明.doc(35KB)
----NormalFormMaker设计报告.doc(80KB)