《重言式判别.docx》由会员分享，可在线阅读，更多相关《重言式判别.docx（6页珍藏版）》请在三一文库上搜索。
1、精品文档一实验目的一个逻辑表达式如果对于其变元的任一种取值均为真，则成为重言式；反之，如果对于其变 元的任一种取值都为假，则称为矛盾式，然而，更多的情况下，既非重言式，也非矛盾式。写一个 程序通过真值表判别一个逻辑表达式属于上述哪一类。二实验内容程序执行的命令（ 1）输入逻辑表达式 （ 2）判断表达式是重言式还是矛盾式 （ 3）若既不是重言式也不是矛盾式，则对变元取定值，并显示逻辑表达式的值 （ 4）结束测试数据(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;输出结果True Fore
2、verFalse ForeverTrue ForeverFalse ForeverStatisfactibleStatisfactible三.实验步骤(可选)函数头#include#include#include#include函数状态码定义# define TRUE1# define FALSE0# define OK 1# define ERROR 0# define INFEASIBLE -2#define NULL 0typedef int Status;栈类型#define initstackmax 100;typedef struct bittree char data;bittr
3、ee *left; / 左孩子指针bittree *right; / 右孩子指针bittree,*bit; / 二叉树类型struct stackbit *base;/ 在栈构造之前和销毁之后， base 的值为 NULLint top;/ 栈顶指针int stacksize;/ 当前已分配的存储空间，以元素为单位;重言式判别函数void judge(bit root,char bo,int nu) /重言式的判别int sample30; char bl20,t;int m=0,lzq,value,count=0,tu=0,fa=0,sat=0;for(int k=0;k=65&bok=90
4、)int mark=0;for(int j=0;jm;j+)if(blj=bok)mark=1;break;if(mark=0)blm=bok;m+;int numall=(int)pow(2,m);m-;for(int i=0;inumall;i+) lzq=m;for(int j=0;jj)%2;lzq-;value=getvalue(root,sample);if(value)tu+;if(fa0)printf(satisfactible);sat=1;break;if(tu=numall)printf(Ture forevern);else fa+;if(tu0)printf(sati
5、sfactiblen);sat=1;break;else if(fa=numall)printf(False forevern);if(sat=1) printf(请给变量赋值，c代表继续，e代表停止)scanf(%c,&t);4 欢迎下载。while(t)if(t=c)for(i=0;i&ebugch. ewe五.实验中出现的问题、解决方法和心得体会通过这次的实验设计，对树的应用和操作有了更加深入的了解，同时也巩固了之前先学过的只 是例如栈的使用，是自己的编程能力得到提高，同时在完成过程中也碰到很多问题， 通过查阅资料 书籍和上网查询也得到了解决，加深了自己的了解6欢迎下载欢迎您的下载，资料仅供参考！致力为企业和个人提供合同协议，策划案计划书，学习资料等等打造全网一站式需求