搜索资源列表
liuhu
- 一个关于表达式的程序,是对表达式的真值表输出.-an expression of the process is to the truth table expression output.
E51_0230
- 一:需求分析 1．本程序需掌握树和二叉树的概念及工作原理，运用其原理及概念完成实验.。 2．问题描述： 一个逻辑表达式如果对于其变元的任一种取值都为真，则称为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式；然而，更多的情况下，既非重言式，也非矛盾式。试写一程序，通过真值表判断一个逻辑表达式属于那一类。 3．基本要求： （1）逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“|”，“&”和“~”, 分别表示或、与和非，运算优先程度递增，但可以有括号改变，
true
- 一个逻辑表达式如果对于其变元的任一种取值都为真，则称为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式；然而，更多的情况是，既非重言式，也非矛盾式。试写一个程序，通过真值表判别一个逻辑表达式属于上述哪一类
正式
- 真值表求值，可以对两个数进行求值，合、与、或、等等逻辑关系，界面清楚，有帮助文档-evaluates truth table, a few pairs of two for evaluates, combination, and, or, etc. logic, interface, it was help documentation
C++离散数学真值表的实现
- 不用介绍了吧，离散数学的玩意，求真值表，用C++编程序实现的，可以学习一下哦。
symbolic
- 控制台下输入一个数理逻辑表达式，则给出一个真值表并给出合析范式与析合范式-Enter a console under the expression of mathematical logic, the truth table and give give a combined analysis together with analysis of paradigm paradigm
logic_expression
- 本程序用于计算任意给定的逻辑表达式的值.通过字符表达式输入.然后生成真值表,代入表达式得到最后的值.-This procedure used to calculate any given value of the logical expression. Enter through the characters expressions. And then to generate truth table, into the final value of the expression.
truthtable
- 东华大学 离散数学 计算真值表达式的程序 老师要求的实验 输入表达书输出结果-Discrete Mathematics, Donghua University procedures for calculating real value of the expression experiments teacher asked Expression input output
mathlogic
- 求解逻辑表达式的真值表 判断推演是否正确 并给出推演规则-failed to translate
shuliluoji
- <数理逻辑>课程 求公式的真值表和判断两个公式是否相等的程序-" Mathematical logic" courses seek truth table and formula to determine whether the two formulas equal program
LogicAnalysis
- 数理逻辑 判断是否为公式 输出所有子公式去掉双重否定 去掉蕴含式 真值表计算 判断A是否逻辑的蕴含B 判断A与B是否为等值公式 判断形式推演规则 -Mathematical logic to determine whether the formula for the output of all sub-formulas to remove a double negative is removed implicate truth table logic of the calculation
shiyan
- 笨程序用于判断离散数学中输入的表达式是否为合式公式，如果是，那么输出真值表；不是，则给出否定判断。-Discrete Mathematics stupid procedures used to determine whether the expression entered in well-formed formula, if it is, then the output truth table not, given the negative judgments.
code1
- 一个逻辑表达式如果对于其变元的任一种取值都为真，则称为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式；然而，更多的情况下，既非重言式，也非矛盾式。试写一个程序，通过真值表判断一个逻辑表达式属于上述哪一类。-code1
J208081224
- 重演式真值表实现表达式的真值表转话 判断是否为命题公式-Repeat-type truth table
mingtigongshizhenzhibiao
- 能够完整地将用户输入的命题公式的真值表输出-To complete the user input output truth table propositional formula
478471896
- MFC实现命题公式的计算 根据命题公式自动构建真值表并计算最大项和最小项-MFC achieve propositional formula calculation formula under Proposition automatically build a truth table and calculate the maximum and minimum entry items
lisan
- 界面很漂亮，用MFC实现离散数学中主合取范式和主析取范式并且能输出真值表，功能强大。-Interface is very beautiful, with the MFC implementation of discrete mathematics in the primary conjunctive normal form and disjunctive and the main output of truth table can be powerful.
vc_Programming_Discrete_Mathematics_program_source
- VC编程离散数学真值表程序源代码vc Programming Discrete Mathematics program source code truth table-vc Programming Discrete Mathematics program source code truth table
true-value
- 此程序完成真值表的实现，包括：与，或，非等，主要掌握逆波兰式用法，文档中有运行后的结果。-The realization of this process is complete truth table, including: and, or, non-, the main control Reverse Polish Notation usage, document the results of a run.
求主析取主合取、真值表并判断是否相等
- cpp文件可实现“求主析取主合取及其真值表，并能判断是否相等”(The program can be realized for disjunctive conjunctive and truth table, and determine whether equal")