C语言求范式和真值表.docVIP

C语言求范式和真值表 //经VC++6.0测试可用 #include stdio.h #include string.h #include stdlib.h #include ctype.h #include math.h /* (1) !表示否定 (2) 表示合取 (3) |表示析取 (4) 表示条件 (5) =表示双条件 */ struct Stack { char *base; char *top; int stacksize; }; struct Room//建立一个比较大的结构体，用于储存字母，和字母所对应的真值 { char ch; char value; }element[10]; struct Table//建立真值表的链表结构，用于保存链表中的值和值所对应的元素 { char sum;//用于记录真值表中，每行的结果 Room element[10]; Table *next; }; void Move(char (*str)[50],int pace,int left)//横向移动字符串 { int i; str[0][left]=A; for(i=left+1 ; istrlen(str[0]) ;i++) { str[0][i]=str[0][i+pace]; str[1][i]=str[1][i+pace]; } str[0][i]=0; str[1][i]=0; return ; } bool IsConnect(char ch) { if((ch == !) || (ch == ) || (ch == |) || (ch == ) || (ch == =)) return true; else return false; } void IsFormula(char (*str)[50])//关键函数判断 len=3 的情况 { int i,j,k;//辅助变量 int left = 0,right =0; for(i=0;istrlen(str[0]);i++) { if(str[1][i] == 1) { left=i; } if(str[1][i] == 2) { right=i; break; } } str[1][left]=0;//用完 right 和 left 之后将其标记为0 str[1][right]=0; k=right-left; for(j=1;j=k;j++) { if( ( str[0][left+j] ==! (IsConnect(str[0][left+j-1]) || str[0][left+j-1] ==( ) isalpha(str[0][left+j+1]) ) //!的左边为连接符或者(，右边一定为A || ( isalpha(str[0][left+j]) ( IsConnect(str[0][left+j-1]) || isalpha(str[0][left+j-1]) || str[0][left+j-1] ==() ( IsConnect(str[0][left+j+1]) || str[0][left+j+1] ==))) //A的右边为连接符，或者!，或者(，右边为连接符或者右括号 || ( IsConnect(str[0][left+j]) isalpha(str[0][left+j-1]) ( str[0][left+j+1] ==! || isalpha(str[0][left+j+1])))) //连接符的左边为A，右边为非或者A continue; else break; } if(j==k) { Move(str,k,left); } if(right == strlen(str[0])-1) return ; else IsFormula(str); } bool CheckFormula(char *str1) { char str[2][50];//定义2行数组，str[0]存放字符串，str[1]做标记 int l=0,r=0;//l记录左括号的个数，r记录右括号的个数 int i;//辅助变量 int len;//str的长度 str[0][0]=(;//去空格，且在str[0]的外层加上括号，此时len=2 i=1; while( *str1 != \0 ) { str[0][i] = *str1; i++; str1++; } str[0][i]=); str[0][i+1]=\0; len=strlen