文件名称:shuliluoji
- 所属分类：
- 数学计算/工程计算
- 资源属性：
- [Windows] [Visual C] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 1.07mb
- 下载次数：
- 0次
- 提 供 者：
- 石*
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
1、输入命题公式，该软件能判断公式的类型，并列出真值表。
2、输入命题公式，给出它的主合取范式和主析取范式。
-This software can judge formula for a type of the true value.
2、输入命题公式，给出它的主合取范式和主析取范式。
-This software can judge formula for a type of the true value.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
数理逻辑辅助教学软件\Debug\StdAfx.obj
....................\.....\vc60.idb
....................\.....\vc60.pdb
....................\.....\数理逻辑辅助教学软件.exe
....................\.....\数理逻辑辅助教学软件.ilk
....................\.....\数理逻辑辅助教学软件.obj
....................\.....\数理逻辑辅助教学软件.pch
....................\.....\数理逻辑辅助教学软件.pdb
....................\StdAfx.cpp
....................\StdAfx.h
....................\使用手册.doc
....................\创新性实验.doc
....................\数理逻辑辅助教学软件.cpp
....................\数理逻辑辅助教学软件.dsp
....................\数理逻辑辅助教学软件.dsw
....................\数理逻辑辅助教学软件.ncb
....................\数理逻辑辅助教学软件.opt
....................\数理逻辑辅助教学软件.plg
....................\Debug
数理逻辑辅助教学软件
....................\.....\vc60.idb
....................\.....\vc60.pdb
....................\.....\数理逻辑辅助教学软件.exe
....................\.....\数理逻辑辅助教学软件.ilk
....................\.....\数理逻辑辅助教学软件.obj
....................\.....\数理逻辑辅助教学软件.pch
....................\.....\数理逻辑辅助教学软件.pdb
....................\StdAfx.cpp
....................\StdAfx.h
....................\使用手册.doc
....................\创新性实验.doc
....................\数理逻辑辅助教学软件.cpp
....................\数理逻辑辅助教学软件.dsp
....................\数理逻辑辅助教学软件.dsw
....................\数理逻辑辅助教学软件.ncb
....................\数理逻辑辅助教学软件.opt
....................\数理逻辑辅助教学软件.plg
....................\Debug
数理逻辑辅助教学软件