算法描述
1、 重言式二叉树的建立，其实重言式二叉树的建立是一个逆过程，即倒着来建立。在这里用到了两个栈，一个是操作符栈，另一个是操作数栈，分别用来保存操作符和操作数。在读取表达式的时候如果是操作数则进栈。如果是操作符则把栈顶元素取出来和它比较。如果栈顶的优先级小，则入栈。如果等于则去括号。小于的话则把栈顶元素弹出来。在把操作数栈的元素弹出两个构建一棵小字树，再把建好的小字树的根压入到操作数栈里。重复操作，直到表达式结束，就建立了一棵重言式二叉树了。
2、 重言式二叉树的判别，在这里用到了一个数组来保存每一种组合下的各变元的取值。
在从二叉树里读到相应的变元时就用对应的值(1或0)进行判断。用一个记数器来记录。
最后用计数器的值和变元组合情况的总数来相比。如果计数器为0，那么表明是永假式。如果相等则是永真式。否则既不真也不假。
2022-05-03 20:26:05
112KB
1
一个逻辑表达式如果对于其变元的任一种取值均为真，则成为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式，然而，更多的情况下，既非重言式，也非矛盾式。试写一个程序，通过真值表判别一个逻辑表达式属于上述哪一类。
2021-12-02 00:02:52
127KB
1
一个逻辑表达式如果对于其变元的任一种取值均为真，则成为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式，然而，更多的情况下，既非重言式，也非矛盾式。写一个程序通过真值表判别一个逻辑表达式属于上述哪一类。基本要求如下：
（1）逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“｜”、“＆”和“～”，分别表示或、与和非，运算优先程度递增，但可有括号改变，即括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。
（2）若是重言式或矛盾式，可以只显示“True Forever”或“False Forever”，否则显示“Statisfactible”以及变量名序列，与用户交互。若用户对表达式变元取定一组值，程序就求出并显示逻辑表达式的值。
（3）本程序先使用栈将逻辑表达式的变量进行存储，然后将栈中的元素作为二叉树的结点结构，然后根据优先级读取表达式建立二叉树，并通过逐个判断根实现对重言式的判别。
测试数据
(1) (A|~A)&(B|~B)
(2) (A&~A)&C
(3) A|B|C|D|E|~A
(4) A&B&C&~B
(5) (A|B)&(A|~B)
(6) A&~B|~A&B;
2021-04-26 23:35:55
114KB
1