《数据结构c语言》重言式判定------参考了别人的代码__精品.doc

重言式判定------参考了别人的代码。。 2011-05-11 17:19 122人阅读 评论(0) 收藏 举报 [ 问题描述] 一个逻辑表达式如果对于其变元的任一种取值均为真，则成为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式，然而，更多的情况下，既非重言式，也非矛盾式。试写一个程序，通过真值表判别一个逻辑表达式属于上述哪一类。， ? [ 基本要求] （1 ） 逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括 “ ｜ ” 、 “ ＆ ” 和 “ ～ ” ，分别表示或、与和非，运算优先程度递增，但可有括号改变，即括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。 （2 ）若是重言式或矛盾式，可以只显示 “ True? Forever ” 或 “ False Forever ” ，否则显示 “ Satisfactible ” 以及变量名序列，与用户交互。若用户对表达式变元取定一组值，程序就求出并显示逻辑表达式的值。 [ 测试数据] （1 ）（A ｜～A ）＆（B|~B ） （2 ）（A ～A ）＆C （3 ）A|B|C|D|E ｜～A [ 实现提示] (1) 识别逻辑表达式的符号形式并建立二叉树可以有两种策略：自底向上的算符优先法和自顶向下分割，先序遍历建立二叉树的方法。 (2) 可设表达式中逻辑变量数不超过20 。真值的产生可以通过在一维数组上维护一个 “ 软计数器 ” 实现，用递归算法实现更简单。 [cpp] view plaincopyprint? #includeiostream 牋 using爊amespace爏td;牋 顶向下分struct?Arr?? {?? ???????char?letter;?? ???????int?weight;?? ???????};?? class?Cys?? {?? ??????public:?? ?????????????Cys();?? ?????????????void?GetTautology();//输入表达式? ?? ?????????????int?_CreateT(int?,int?);//虚拟创建二叉树? ?? ?????????????int?FindMin(int?,int?);//找到weight最小的? ?? ?????????????int?count();??//计算可满足式的值? ?? ?????????????void?_recursion(Arr?*_arr,int?i?);//递归，穷举? ?? ?????????????void?recursion();//使用接口函数? ?? ?????????????void?Print();//输出结果? ?? ?????????????~Cys();//析构释放空间? ?? ??????private:?? ??????????????int?num;?? ??????????????Arr?*array;?? ??????????????Arr?_arr[20];?//存放字母? ?? ??????????????int?_arrNum;??? ??????????????int?trueforever;?? ??????????????int?falseforever;?? ??????};?? ???????? ????Cys::Cys()?? ??????{?? ??????????trueforever=0;?? ??????????falseforever=0;?? ??????????array=new?Arr[20];?? ??????????for(int?i=0;i20;i++){?? ????????????????array[i].weight-1;?? ????????????????array[i].letter=0;?? ????????????????}?? ???????????????_arrNum=0;?? ???????????????num=0;?? ????????????????}?? ?void?Cys::GetTautology()?? ?{?? ??????int?has[27]={0};?? ??????int?weight=0;?? ??????char?ch;?? ????cout请输入一个逻辑表达式,以#结束endl;?? ????while(cinch???ch!=#)??? ????{?? ????????????????????? ?????????????????? ??????????????????if(ch==?)?? ????????????????