1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。可以去这里下载运行环境:http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。 4.计算前请选择变元个数(默认为3元)并对变元赋值。变元个数最高为5,基本能满足日常的计算。 5.计算器有自动检查表达式是否正确的功能,如果判断功能有误,麻烦您告诉我您的表达式。
上传时间: 2013-12-13
上传用户:txfyddz
操作系统模拟磁盘空间的分配和回收的分析以及实现的算法
上传时间: 2014-01-14
上传用户:lhw888
离散数学中求解二元关系2到100间的所有素数传递闭包的问题.
上传时间: 2015-09-13
上传用户:stampede
操作系统模拟虚拟存储器的分配和回收原理的分析与实现方法。
上传时间: 2015-09-13
上传用户:skfreeman
模拟linux操作系统的内存分配与回收,并有简单的输出
上传时间: 2014-07-23
上传用户:cc1
离散算法,硕士论文一部分,希望对大家有所帮助。
上传时间: 2015-09-14
上传用户:onewq
通信网链路容量和流量联合优化分配问题的遗传算法matlab程序
上传时间: 2015-09-18
上传用户:1427796291
tfrpwv是计算离散信号X的Wigner-Ville分布.Tfrspwv是计算离散信号X的平滑伪Wigner-Ville分布.
标签: Wigner-Ville Tfrspwv tfrpwv 计算
上传时间: 2013-12-12
上传用户:zhuimenghuadie
用VC实现了动态数组分配的 包括所有源代码
上传时间: 2015-09-20
上传用户:zhangyi99104144
此文档对数组结构在内存中是如何被分配空间做了非常详细的说明。对数组不太了解的人非常有帮助。
上传时间: 2014-03-06
上传用户:fanboynet