1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。可以去这里下载运行环境:http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。 4.计算前请选择变元个数(默认为3元)并对变元赋值。变元个数最高为5,基本能满足日常的计算。 5.计算器有自动检查表达式是否正确的功能,如果判断功能有误,麻烦您告诉我您的表达式。
上传时间: 2013-12-13
上传用户:txfyddz
通过基于Windows的图形化界面,可以很方便的配置使用,包括在线测试各种可能遇到的问题,支持多域名,每个域名都支持没有限制的用户数目。其它功能包括:反垃圾邮件功能,查杀病毒支持,基于IP的访问列表,邮件转发,转发限制,ORL/RBL过滤,服务日志,统计信息和Windows服务,支持ESMTP/POP3/IMAP4
上传时间: 2014-01-03
上传用户:离殇
这是一个自适应矢量化算法(VQ)源程序。用于人工智能算法
上传时间: 2015-09-12
上传用户:athjac
离散数学中求解二元关系2到100间的所有素数传递闭包的问题.
上传时间: 2015-09-13
上传用户:stampede
哈夫曼码的编/译码系统,实现功能:1.初始化 2.编码 3.译码 4.印代码文件 5.印哈夫曼树
上传时间: 2013-12-27
上传用户:
离散算法,硕士论文一部分,希望对大家有所帮助。
上传时间: 2015-09-14
上传用户:onewq
记数器。记录你刷新页面的次数。数据库要初始化
上传时间: 2013-12-27
上传用户:tedo811
Google的汉化征途上,李开复到来之前,Google就不得要领的巨人在中国市场上耕作,这是史前时代;李开复到来之后,Google开始变化,施展武艺开始有了掌法,却也难免磕磕碰碰,是为创世纪,“谷歌”诞生,Google就此在中国市场名正言顺
上传时间: 2015-09-15
上传用户:thinode
Google的汉化征途上,李开复到来之前,Google就不得要领的巨人在中国市场上耕作,这是史前时代;李开复到来之后,Google开始变化,施展武艺开始有了掌法,却也难免磕磕碰碰,是为创世纪,“谷歌”诞生,Google就此在中国市场名正言顺
上传时间: 2015-09-15
上传用户:siguazgb
Google的汉化征途上,李开复到来之前,Google就不得要领的巨人在中国市场上耕作,这是史前时代;李开复到来之后,Google开始变化,施展武艺开始有了掌法,却也难免磕磕碰碰,是为创世纪,“谷歌”诞生,Google就此在中国市场名正言顺
上传时间: 2014-01-17
上传用户:虫虫虫虫虫虫