实习五：重言式判别.doc

实验报告 一．需求分析 （1）程序名：重言式判别 （2）逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“|”，“”，“~”，分别表示或与非，运算优先程度递增，但可括号改变，及括号内运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。 （3）若是重言式或矛盾式，都可以只显示“True forever”或“False forever”,否则显示“Satisfactible”。若用户多对表达式中的变元取一定值，程序就求出并显示逻辑表达式的值。 测试数据：（1）(A|~A)(B|~B) （2）(A~A)C （3）A|B|C|D|E|~A （4）ABC~B （5）(A|B)(A|~B) （6）A~B|~AB；0,0；0,1；1，0；1,1。 二．详细设计 #includestdio.h #include stdlib.h #include string.h #define STACK_SIZE 100 #define STACKINCREMENT 10 #define error 0 #define ok 1 int priority[128]; typedef struct list { struct list * base; struct list * top; int data; int stacksize; } stack, *stacktype; stack op, num; int ans[1024*1024*10]; bool iserror; void InitPriority() { priority[(int) |] = 1; priority[(int) ] = 2; priority[(int) ~] = 3; } int InitStack(stack s) //创建栈 { s.base = (stacktype) malloc(STACK_SIZE * sizeof(stack)); if (!s.base) return error; s.top = s.base; s.stacksize = STACK_SIZE; return ok; } int GetTop(stack s, int e) //提出栈顶元素 { if (s.base == s.top) return error; e = (s.top - 1)-data; return ok; } int Push(stack s, int e) //插入栈顶元素 { if (s.top - s.base = s.stacksize) { s.base = (stacktype) realloc(s.base, (s.stacksize + STACKINCREMENT) * sizeof(stack)); if (!s.base) return error; s.top = s.base + s.stacksize; s.stacksize += STACKINCREMENT; } (s.top++)-data = e; return ok; } int Pop(stack s, int e) { if (s.top == s.base) return error; e = (--s.top)-data; return ok; } void Operate(int theta) //求解表达式‘a theta b’ { int a, b; //printf(%c , (char) theta); if (Pop(num, b) == error) { printf(表达式错误!\n); iserror = true; return; } else if (theta != ~ Pop(num, a) == error) { printf(表达式错误!\n); iserror = true; return; } //printf(%d %d , a, b); switch (theta) { case : a = a b;