数理逻辑求真值表以及判断推演规则C＋＋程序\Mathlogic_ex2\Formula.cpp
.........................................\.............\Formula.h
.........................................\.............\Mathlogic_ex2.aps
.........................................\.............\Mathlogic_ex2.cpp
.........................................\.............\Mathlogic_ex2.h
.........................................\.............\Mathlogic_ex2.rc
.........................................\.............\Mathlogic_ex2.vcproj
.........................................\.............\Mathlogic_ex2.vcproj.lx-PC.lx.user
.........................................\.............\Mathlogic_ex2.vcproj.YeQ-PC.YeQ.user
.........................................\.............\Mathlogic_ex2Dlg.cpp
.........................................\.............\Mathlogic_ex2Dlg.h
.........................................\.............\ReadMe.txt
.........................................\.............\Reason.cpp
.........................................\.............\Reason.h
.........................................\.............\ReasonDlg.cpp
.........................................\.............\ReasonDlg.h
.........................................\.............\res\Mathlogic_ex2.ico
.........................................\.............\...\Mathlogic_ex2.rc2
.........................................\.............\resource.h
.........................................\.............\Stack.cpp
.........................................\.............\Stack.h
.........................................\.............\Stack_Number.cpp
.........................................\.............\Stack_Number.h
.........................................\.............\stdafx.cpp
.........................................\.............\stdafx.h
.........................................\.............\targetver.h
.........................................\.............\TruthTable.cpp
.........................................\.............\TruthTable.h
.........................................\Mathlogic_ex2.ncb
.........................................\Mathlogic_ex2.sln
.........................................\Mathlogic_ex2.suo
.........................................\Release\Mathlogic_ex2.exe
.........................................\帮助.docx
.........................................\Mathlogic_ex2\res
.........................................\Mathlogic_ex2
.........................................\Release
数理逻辑求真值表以及判断推演规则C＋＋程序