搜索资源列表
2005061322070524522
- 离散数学真值表求值，对于数学专业很有用。
mingtiyansuan
- （1）利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值，即每到达一个结点，其子树之值已经计算出来，当到达根结点时，求得的值就是公式之真值。 （2）逻辑变元的标识符不限于单字母，而可以是任意长的字母数字串。 （3）根据用户的要求显示表达式的真值表。
zhenzhibiao
- 离散数学的真值表实现,主要是实现命题的真值计算，以及对命题变元的赋值-Truth table for implementation of discrete mathematics, is to achieve the true value proposition, and the assignment of propositional variables, etc.
math
- 逻辑计算器 输入逻辑算式 求出真值表 界面简洁 使用方便-Logic formula calculator input logic interface is simple and easy to find the truth table
200901
- 求解任意命题公式的真值表，从文件中读入“命题公式”，缺点是：命题变元默认是4个，当命题变元的个数变化后必须修改源代码的NUM-The truth table for solving arbitrary propositional formula, read from the file into the " propositional formula," The disadvantage is that: Proposition argument default is 4, wh
tongyansipanbie
- 实现同言式的判别。数据结构习题集作业。输入表达式，判别它是否为同言式，能给出详细的真值表！-Made to achieve the same type of discrimination. Exercises set data structure operations. Enter the expression, determine whether it is made for the same type, can give detailed truth table!
bbbb
- 重言式判别程序,实现了对输入非法性的判别.当不是永真或永假式时,可以选择是否打印真值表-Tautology discriminant procedures, to achieve the identification of illegal importation. When Wing is not true or false-style wing, you can choose whether or not to print truth table
SequChar
- C++离散数学真值表的实现，求真值表，用C++编程序实现的，可以学习一下哦。-C++ implementation of discrete mathematics truth table, seek truth table, using C++ programmed to achieve, can learn about oh.
HeShiGongShi
- 判断输入的式子是否为合适公式，如果是则输出其真值表-The appropriate formula to determine its truth table
truthtable
- 求离散数学中命题逻辑公式的真值表的源代码。-Discrete Mathematics in seeking a formula of propositional logic truth table of the source code.
dzjs
- §2-2 逻辑函数的代数化简法 二、化简的方法 2、吸收法 a 2、吸收法 b 3、消去法 4、配项法 5、综合法 三、化简举例 例二： 例三： 例四： 例五： §2-3 逻辑函数的卡诺图化简法 一、卡诺图的构成 三变量的情况。 真值表与卡诺图的关系 四变量卡诺图情况 五变量卡诺图的情况 卡诺图的特点 二、逻辑函数的移植 例如： 2、表达式表示法 II、
Tautology-course-design
- 重言式课程设计 1．一个逻辑表达式如果对于其变元的任一种取值都为真，则称为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式；然而，更多的情况下既非重言式，也非矛盾式。本演示程序通过真值表判别一个逻辑表达式属于上述哪一类。 2．在本演示程序中，逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“|”，“&”和“~”，分别表示或、与和非，运算优先程度递增，但可由括号改变，即括号内的运算符优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。 3．若是重言式或矛盾
200561673692249
- 离散数学的真值表计算方法。可以计算N个输入的全部真值表-A special discrete mathematics used to calculate the truth table of the program, using C++ language
shuliluoji
- 1、输入命题公式，该软件能判断公式的类型，并列出真值表。 2、输入命题公式，给出它的主合取范式和主析取范式。 -This software can judge formula for a type of the true value.
TrueValuePro
- 离散数学中需要计算真值表,本程序根据输入的公式自动产生真值表-Need to compute the truth table of discrete mathematics, this program automatically generate the formula based on the input truth table
lisanshuxushiyan1
- 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C）） -1. From the keyboard input variables of two propositions P and Q of the true value, find their conjunction, disjunction, conditional and biconditional true value. (A)
dm-labs
- 离散数学的若干实验指导书。主要包含真值表判定、逻辑推理、集合运算、等价关系、代数系统运算等方面。-Several discrete mathematics experiment documents. Mainly consists of determining truth table, logical reasoning, set operations, equivalence relations, algebraic operations and so on.
lisan_zhenzhi
- C++离散数学真值表的实现,有兴趣的朋友学习一下。 -C++ implementation of discrete mathematics truth table
formula-for-calculating--true-value
- 计算命题演算公式的真值，所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符∧（AND）、∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。 要求： （1）利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值
bool
- 就是根据01比特真值表生成对应的布尔函数，注意数据的量不要过大-Truth table is generated according to the corresponding 01-bit Boolean function, do not pay attention to the amount of data is too large