详细说明：离散数学重言式判别以及逻辑表达式求值原代码-Discrete Mathematics tautology discriminant and logic expressions evaluates the original code

 相关搜索: 重言式 重言式判别程序 重言式判别 逻辑表达式 二叉树 逻辑表达式 java 重言式的判别的时间复杂度 离散数学 重言式判别算法 

 [FFTdemo.zip] - 基2FFT，包括一个DFT
 [rgjsq.rar] - 软件工程课程设计的一个小作业：用VC++6.0来实现计算器的+.-.*./等基本功能和括号，使用MFC作为向导工具。
 [200301301116.rar] - 本文档是关于"运动会管理系统"的软件工程设计报告,采用UML建模,解压后有一份WORD文档和一份ROSE文件.
 
 [lishanshuxue.rar] - 1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入
 [全排列的经典算法.rar] - 这个程序是按照离散数学教材上给出的算法写的，是字典序的全排列算法。空间复杂度是O(n)，时间复杂度基本上是O(n^2)。缺点是只用于打印并没有储存所有的结果。
 [Autologic.rar] - 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
 [重言式.rar] - 用二叉树实现逻辑表达式的基本运算,包括逻辑与,或,非,还可以判别表达式是重言式,还是矛盾式.
 [ForeverTF.rar] - 重言式是当所有逻辑变元取遍所有值时都为真的表达式。这个程序是用来对重言式进行判别的！还可以吧！牛人别见笑！
 [重言式判别问题.rar] - 逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“｜”、“＆”和“～”，分别表示或、与和非，运算优先程度递增，但可有括号改变，即括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。 若是重言式或矛盾式，可以只显示“True Forever”或“False Forever
 [重言式判别.rar] - 重言式判别源代码

文件列表(点击判断是否您需要的文件，如果是垃圾请在下面评价投诉):
  chongyanshi.cpp