资源简介

1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。可以去这里下载运行环境:http://www.skycn.com/soft/3116.html
2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。
3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。
4.计算前请选择变元个数(默认为3元)并对变元赋值。变元个数最高为5,基本能满足日常的计算。
5.计算器有自动检查表达式是否正确的功能,如果判断功能有误,麻烦您告诉我您的表达式。
作者qq:86143838
email:qiaomuf@163.com

资源截图

代码片段和文件信息

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

     文件    7904931  2007-02-05 21:37  SpecialCalculator_fat.jar

     文件     323584  2007-02-05 21:35  swt-win32-3232.dll

----------- ---------  ---------- -----  ----

              8228515                    2


评论

共有 条评论