任意命题公式的真值表.docVIP

//构造任意公式的真值表 /* 利用计算机求命题公式真值表的关键是： ①给出命题变元的每一组赋值； ②计算命题公式在每一组赋值下的真值。 真值表中命题变元的取值具有如下规律： 每列中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;i30;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;i30;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[]==-|!()@;//双条件、条件、析取、合取、非 int op1_loc, op2_loc; for(op1_loc=0;op1_loc(int)strlen(optr_list);op1_loc++) if(optr_list[op1_l