5任意命题公式的真值表.doc

//构造任意公式的真值表 /* 利用计算机求命题公式真值表的关键是： ①给出命题变元的每一组赋值； ②计算命题公式在每一组赋值下的真值。 真值表中命题变元的取值具有如下规律： 每列中0和1是交替出现的，且0和1连续出现的个数相同。 n个命题变元的每组赋值的生成算法可基于这种思想。 含有n个命题变元的命题公式的真值的计算采用的方法为"算符优先法"。 为了程序实现的方便，约定命题变元只用一个字母表示， 非、合取、析取、条件和双条件联结词分别用！、&、|、－、=来表示。 算符之间的优先关系如下面所示： = － | & ! （ ） @ = ＞ ＜ ＜ ＜ ＜ ＜ ＞ ＞ － ＞ ＞ ＜ ＜ ＜ ＜ ＞ ＞ | ＞ ＞ ＞ ＜ ＜ ＜ ＞ ＞ & ＞ ＞ ＞ ＞ ＜ ＜ ＞ ＞ ! ＞ ＞ ＞ ＞ ＞ ＜ ＞ ＞ （ ＜ ＜ ＜ ＜ ＜ ＜ ＝ E ） ＞ ＞ ＞ ＞ ＞ E ＞ ＞ @ ＜ ＜ ＜ ＜ ＜ ＜ E ＝ 为实现算符优先算法，我们采用两个工作栈。一个称作OPTR，用以寄存运算符； 另一个称作OPND，用以寄存操作数或运算结果。 算法的基本思想是： （1）首先设置操作数栈为空栈，符号"@"为运算符的栈底元素； （2）调用函数Divi（exp，myopnd）得到命题公式包含的命题变元序列myopnd （按字典序排列，同一个命题变元只出现一次）； （3）依次读入命题公式中的每个字符，若是命题变元则其对应的赋值进OPND栈， 若是运算符，则和OPTR栈的栈顶运算符比较后作相应操作，直至整个命题公式求值完毕。 */ #include <stdio.h> #include <math.h> #include <string.h> //定义一个结构体 typedef struct optrstack { char oper[30]; int loc; }OPStack; void initop(OPStack *op) { int i; op->loc=0; for(i=0;i<30;i++) op->oper[i]='\0'; } void push(OPStack *op,char c) { op->oper[op->loc++]=c; } char pop(OPStack *op) { return(op->oper[--op->loc]); } typedef struct opndstack { int oper[60]; int loc; }OPndStack; void initopnd(OPndStack *op) { int i; op->loc=0 ; for(i=0;i<30;i++) op->oper[i]='\0'; } void pushopnd(OPndStack *op, int c) { op->oper[op->loc++]=c; } int popopnd(OPndStack *op) { return(op->oper[--op->loc]); } void init(char s[]) { int t; printf("\n请输入任意一个命题公式（命题变元为一个字符）\n"); printf("非、析取、合取、条件、双条件词分别用符号!、|、&、-、=表示\n"); gets(s); t=strlen(s); s[t]='@'; s[t+1]='\0'; } int is_optr(char c) { char optr_list[]="+-|&!()@"; int i; for(i=0;i<(int)strlen(optr_list);i++) if(c==optr_list[i])return 1; return 0; } char first(char op1, char op2) { char tab[8][9]={ "><<<<<>>", ">><<<<>>", ">>><<<>>", ">>>><<>>", ">>>>><>>", "<<<<<<=E", ">>>>>E>>", "<<<<<<E=", }; char optr_list[]="=-|&