背景:一直wrong在while()语句上最开始的时候没有把字符串为0考虑进去,所以导致输出一直是not。
思路:本题我构造了一个堆栈和一个映射关系,p,q,r,s,t每个只有0和1两种情况,所以可以直接用for循环枚举即可,枚举的时候用map产生映射,这样比较简单,然后就是定义一个字符串数组,从字符串最后一个元素开始处理,然后就是简单的堆栈操作,在元素处理中,按照题意,遇到p,q,r,s,t直接压栈,遇到其他字符按照题中的要求处理堆栈即可,当处理完字符串后,堆栈中应该只剩下一个元素,判断这个元素的值,然后做相应的处理,判断完之后,不要忘记弹出堆栈中的最后一个元素,否则会影响到下一次的操作。
学习:堆栈的简单运用。
#include <iostream> #include <cstring> #include <stack> #include <map> #include <cctype> using namespace std; stack<int> zhan; map<char,int> logic; void judge(char op[]) { int ok=1,n; for(int p=0;p<=1;p++) for(int q=0;q<=1;q++) for(int r=0;r<=1;r++) for(int s=0;s<=1;s++) for(int t=0;t<=1;t++) { logic['t']=t; logic['p']=p; logic['q']=q; logic['r']=r; logic['s']=s; n=strlen(op)-1; while(n>=0) { if(islower(op[n])) zhan.push(logic[op[n]]); else { if(op[n]=='N') { int a=zhan.top();zhan.pop(); zhan.push(!a); } else { int a=zhan.top();zhan.pop(); int b=zhan.top();zhan.pop(); if(op[n]=='K') zhan.push(a&&b); else if(op[n]=='A') zhan.push(a||b); else if(op[n]=='C') zhan.push((!a)||b); else zhan.push(a==b); } } n--; } if(zhan.top()==0) {ok=0;cout<<"not"<<endl;return;} zhan.pop(); } if(ok) cout<<"tautology"<<endl; } int main(void) { char op[110]; while(cin>>op&&op[0]!='0') judge(op); return 0; }
时间: 2024-10-29 10:45:50