搜索资源列表
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
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)
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.
transformation
- ACM变形题 呃......变形课上Harry碰到了一点小麻烦,因为他并不像Hermione那样能够记住所有的咒语而随意的将一个棒球变成刺猬什么的,但是他发现了变形咒语的一个统一规律:如果咒语是以a开头b结尾的一个单词,那么它的作用就恰好是使A物体变成B物体. Harry已经将他所会的所有咒语都列成了一个表,他想让你帮忙计算一下他是否能完成老师的作业,将一个B(ball)变成一个M(Mouse),你知道,如果他自己不能完成的话,他就只好向Hermione请教,并且被迫听一大堆好好学习的道理
chongyans
- 1． 本程序在Visual C++环境中运行,执行文件为:ZYSBB.cpp 2． 程序运行后，显示学生信息，然后提示用户输入变量的个数，接着输入逻辑表达式（变量按A，B，C…顺序输入大写英文字母）。 3． 若所键入的是重言式或是矛盾式，则显示“表达式是重言式”或“表达式是矛盾式”；否则显示“表达式既不是重言式，也不是矛盾式” 4． 接着显示两个菜单项以供用户选择：*人机交互输入(E/e) 显示真值表(Z/z)* 按E/e则与用户交互输入，根据设定的变量值，求出逻辑表达式的值；按