题目意思就是计算表达式的值，如果所有情况下表达式为真就输出“tautology”，否则输出“not”。
p, q, r, s, and t，每个人有两种情况，综合起来一共有32种情况，枚举所有情况最后所有情况是真的话就是真。
K, A, N, C,E分别代表的是计算方式，e.iK代表逻辑语&，A代表逻辑语|，剩下的可以自己推了；
思路：先做一个预处理将所有情况都存到一个数组里面，然后就每一个情况分别枚举，处理方式的话是从表达式的最后面向前处理；
因为是一个表达式，所以最后得到的结果只有一个数值，然后判断它是否为真就行了（注意一下：要将整个表达式的值在这一种情况下计算完才可以进行表达式真 假判断）
#include<cstdio> #include<iostream> #include<cstring> using namespace std; int num[35][6]; char s[105]; int main() { for(int i=0;i<32;++i) for(int j=0;j<5;++j) if(i&(1<<j)) num[i][j]=1; else num[i][j]=0; while(scanf("%s",s)==1) { if(s[0]==‘0‘) break; int flag=1; for(int k=0;k<32;++k){ int len=strlen(s); int top=0;int goal[105]; for(int j,i=len-1;i>=0;--i){ if(s[i]>=‘p‘&&s[i]<=‘t‘) goal[top++]=num[k][s[i]-‘p‘]; else if(s[i]==‘K‘){ goal[top-2]=goal[top-2]&&goal[top-1];--top; } else if(s[i]==‘A‘){ goal[top-2]=goal[top-2]||goal[top-1];--top; } else if(s[i]==‘N‘) goal[top-1]=!goal[top-1]; else if(s[i]==‘C‘){ goal[top-2]=!goal[top-2]||goal[top-1];--top; } else if(s[i]==‘E‘){ goal[top-2]=goal[top-2]==goal[top-1];--top; } } if(goal[0]==0) flag=0; if(flag==0) break; } if(flag) cout << "tautology\n"; else cout << "not\n"; } }
别人递归的方法，学习学习
#include<stdio.h> 02.#include<stdlib.h> 03.#include<string.h> 04.int state[5]; 05.char s[205]; 06.int l=0; 07.int ind() 08.{ 09. char ch=s[l++]; 10. printf(""); 11. 12. switch(ch) 13. { 14. case ‘p‘: 15. case ‘q‘: 16. case ‘r‘: 17. case ‘s‘: 18. case ‘t‘: 19. return state[ch-‘p‘]; 20. break; 21. case ‘K‘: 22. return ind()&ind(); 23. break; 24. case ‘A‘: 25. return ind()|ind(); 26. break; 27. case ‘N‘: 28. return !ind(); 29. break; 30. case ‘C‘: 31. return !ind()|ind(); 32. break; 33. case ‘E‘: 34. return ind()==ind(); 35. break; 36. } 37.} 38. 39.int main() 40.{ 41. scanf("%s", s); 42. while(s[0]!=‘0‘) 43. { 44. int len=strlen(s); 45. int mark=1; 46. for(state[0]=0; state[0]<=1 && mark; state[0]++) 47. { 48. for(state[1]=0; state[1]<=1 && mark; state[1]++) 49. { 50. for(state[2]=0; state[2]<=1 && mark; state[2]++) 51. { 52. for(state[3]=0; state[3]<=1 && mark; state[3]++) 53. { 54. for(state[4]=0; state[4]<=1 && mark; state[4]++) 55. { 56. l=0; 57. if(ind()==0) 58. mark=0; 59. } 60. } 61. } 62. } 63. } 64. if(mark==1) 65. printf("tautology\n"); 66. else 67. printf("not\n"); 68. scanf("%s", s); 69. } 70. return 0; 71.}
挺巧妙的、
原文：http://www.cnblogs.com/sasuke-/p/5120742.html