Description: Paradigm generator. Mathematical logic supporting small programs, any propositional formula can be given conjunctive normal form and disjunctive. Mainly be achieved with the binary tree. More detailed documentation package, introduced the main ideas to achieve.
File list (Check if you may need any files):
WinNfm\Debug\WinNfm.exe
......\.....\WinNfm.ilk
......\.....\WinNfm.pdb
......\Release\WinNfm.exe
......\.......\WinNfm.pdb
......\WinNfm\app.ico
......\......\app.rc
......\......\AssemblyInfo.cpp
......\......\BinaryTree.cpp
......\......\BinaryTree.h
......\......\Debug\app.res
......\......\.....\AssemblyInfo.obj
......\......\.....\BuildLog.htm
......\......\.....\mt.dep
......\......\.....\NfmTree.obj
......\......\.....\stdafx.obj
......\......\.....\vc90.idb
......\......\.....\vc90.pdb
......\......\.....\WinNfm.exe.intermediate.manifest
......\......\.....\WinNfm.Form1.resources
......\......\.....\WinNfm.obj
......\......\.....\WinNfm.pch
......\......\Form1.h
......\......\Form1.resx
......\......\NfmTree.cpp
......\......\NfmTree.h
......\......\ReadMe.txt
......\......\..lease\app.res
......\......\.......\AssemblyInfo.obj
......\......\.......\BuildLog.htm
......\......\.......\mt.dep
......\......\.......\NfmTree.obj
......\......\.......\stdafx.obj
......\......\.......\vc90.idb
......\......\.......\vc90.pdb
......\......\.......\WinNfm.exe.intermediate.manifest
......\......\.......\WinNfm.Form1.resources
......\......\.......\WinNfm.obj
......\......\.......\WinNfm.pch
......\......\resource.h
......\......\stdafx.cpp
......\......\stdafx.h
......\......\WinNfm.cpp
......\......\WinNfm.vcproj
......\......\WinNfm.vcproj.23A8287EC54E4DE.Administrator.user
......\WinNfm.ncb
......\WinNfm.sln
......\WinNfm.suo
文档\NormalFormMaker.vsd
....\NormalFormMaker使用说明.doc
....\NormalFormMaker设计报告.doc
....\测试用例.txt
WinNfm\WinNfm\Debug
......\......\Release
......\Debug
......\Release
......\WinNfm
WinNfm
文档