搜索资源列表
mingtiyansuan
- （1）利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值，即每到达一个结点，其子树之值已经计算出来，当到达根结点时，求得的值就是公式之真值。 （2）逻辑变元的标识符不限于单字母，而可以是任意长的字母数字串。 （3）根据用户的要求显示表达式的真值表。
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
Tautology-course-design
- 重言式课程设计 1．一个逻辑表达式如果对于其变元的任一种取值都为真，则称为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式；然而，更多的情况下既非重言式，也非矛盾式。本演示程序通过真值表判别一个逻辑表达式属于上述哪一类。 2．在本演示程序中，逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“|”，“&”和“~”，分别表示或、与和非，运算优先程度递增，但可由括号改变，即括号内的运算符优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。 3．若是重言式或矛盾
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)
formula-for-calculating--true-value
- 计算命题演算公式的真值，所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符∧（AND）、∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。 要求： （1）利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值
normalc
- 程序是主合区和主吸取的代码。用真值表做的，程序简单易懂，包含丰富的注释。有详细的结果分析。-The program is the main co-code area and the main lessons. To do with the truth table, the program is simple and easy to understand, contains a wealth of annotation. Detailed analysis of the results.
BiExp
- 对逻辑表达式进行重言式判别，求值，可以选择是否显示真值表。用二叉树实现。-Logical expressions tautology identification, evaluation, you can choose whether to display the truth table. Binary tree using.
chongyans
- 1． 本程序在Visual C++环境中运行,执行文件为:ZYSBB.cpp 2． 程序运行后，显示学生信息，然后提示用户输入变量的个数，接着输入逻辑表达式（变量按A，B，C…顺序输入大写英文字母）。 3． 若所键入的是重言式或是矛盾式，则显示“表达式是重言式”或“表达式是矛盾式”；否则显示“表达式既不是重言式，也不是矛盾式” 4． 接着显示两个菜单项以供用户选择：*人机交互输入(E/e) 显示真值表(Z/z)* 按E/e则与用户交互输入，根据设定的变量值，求出逻辑表达式的值；按