程式很簡單，用棧實現，把中綴表示式轉換成字尾表示式是關鍵，從下午2點除錯到晚上6點，中間洗了一次澡，發現VS2010的除錯功能很強大，一開始用標準庫的Stack，發現在判別的時候會出現問題，具體是在棧空的時候，呼叫s.top()會出現錯誤，所以通過一個字元陣列和一個整數來自己模仿指標的話這個錯誤就會避免 。下面是原始碼。

      // ajax.cpp : Defines the entry point for the console application. // #include "stdafx.h" #include<iostream> #include<vector> #include<cmath> #include<string> #include<fstream> #include<stack> using namespace std; const int MAX_STRLEN=256; const int MAX_STACKSIZE=256; void InfixToSuffix(const char* infix,char *suffix); bool Compute(const char*suffix); int _tmain(int argc, _TCHAR* argv[]) { ifstream cin("d://1.txt"); char infix[MAX_STRLEN], suffix[MAX_STRLEN]; int t=0; while(cin.getline(infix,MAX_STRLEN)) { t++; InfixToSuffix(infix,suffix); bool res=Compute(suffix); cout<<"Expression"<<t<<":"; if(res) cout<<"True"<<endl; else cout<<"False"<<endl; } system("pause"); return 0; } void InfixToSuffix(const char* infix,char *suffix) { int top; char stk[MAX_STACKSIZE]; int i=0, j=0; top=-1; char ch=infix[i]; while(ch!='/0') { if(ch==' ') {} else if(ch=='(') {top++;stk[top]=ch;} //字元"("入棧 else if(ch==')') { while(stk[top]!='(') //將棧頂到字元"（"之間的運算子依次出棧並且插入suffix尾部 { suffix[j]=stk[top]; top--; j++; } top--; //字元"("出棧 } else if(ch=='|') { while(top!=-1&&stk[top]!='(') //將優先順序不小於運算子"|"的所有運算子依次出棧並輸入suffix尾部 { suffix[j]=stk[top]; top--; j++; } top++;//"|"入棧 stk[top]=ch; } else if(ch=='&') { while(stk[top]=='&'||stk[top]=='!') //將運算子不小於"&"的所有運算子依次出棧並輸入suffix尾部 { suffix[j]=stk[top]; top--; j++; } top++; //"&"入棧 stk[top]=ch; } else if(ch=='!') //'!'入棧 { top++; stk[top]=ch; } else { suffix[j]=ch;// 將ch輸入suffix尾部 j++; while(top!=-1&&stk[top]=='!') //將所有運算子'!'依次出棧並輸入suffix尾部 { suffix[j]=stk[top]; top--; j++; } } i++; ch=infix[i]; } while(top!=-1) { suffix[j]=stk[top]; top--; j++; } suffix[j]='/0'; } bool Compute(const char* suffix) { stack<bool> s; int i=0; char ch=suffix[i]; while(ch!='/0') { if(ch=='|') { bool op1=s.top(); s.pop(); bool op2=s.top(); op2|=op1; s.top()=op2; } else if(ch=='&') { bool op1=s.top(); s.pop(); bool op2=s.top(); op2&=op1; s.top()=op2; } else if(ch=='!') { s.top()=!s.top(); } else if(ch=='V') s.push(true); else if(ch=='F') s.push(false); i++; ch=suffix[i]; } return s.top(); }