poj日记(3295)
来源:互联网 发布:手机淘宝上的免费开店 编辑:程序博客网 时间:2024/06/10 12:34
转载:https://www.cnblogs.com/kuangbin/archive/2012/08/13/2636855.html
Description
WFF 'N PROOF is a logic game played with dice. Each die has six faces representing some subset of the possible symbols K, A, N, C, E, p, q, r, s, t. A Well-formed formula (WFF) is any string of these symbols obeying the following rules:
- p, q, r, s, and t are WFFs
- if w is a WFF, Nwis a WFF
- if w and x are WFFs, Kwx, Awx, Cwx, and Ewx are WFFs.
The meaning of a WFF is defined as follows:
- p, q, r, s, and t are logical variables that may take on the value 0 (false) or 1 (true).
- K, A, N, C, E mean and, or, not, implies, and equals as defined in the truth table below.
A tautology is a WFF that has value 1 (true) regardless of the values of its variables. For example, ApNp is a tautology because it is true regardless of the value of p. On the other hand, ApNq is not, because it has the value 0 for p=0, q=1.
You must determine whether or not a WFF is a tautology.
Input
Input consists of several test cases. Each test case is a single line containing a WFF with no more than 100 symbols. A line containing 0 follows the last case.
Output
For each test case, output a line containing tautology or not as appropriate.
Sample Input
ApNpApNq0
Sample Output
tautologynot
Source
/*POJ 3295构造法p,q,r,s,t枚举所有可能取值用一个堆栈从字符串末尾进行操作AC G++ 684K 0MS*/#include<stdio.h>#include<iostream>#include<string.h>using namespace std;const int MAXN=120;int sta[MAXN];//数组实现堆栈char str[MAXN];int p,q,r,s,t;void DoIt(){ int top=0; int len=strlen(str); for(int i=len-1;i>=0;i--) { if(str[i]=='p') sta[top++]=p; else if(str[i]=='q') sta[top++]=q; else if(str[i]=='r') sta[top++]=r; else if(str[i]=='s') sta[top++]=s; else if(str[i]=='t') sta[top++]=t; else if(str[i]=='K') { int t1=sta[--top]; int t2=sta[--top]; sta[top++]=(t1&&t2); } else if(str[i]=='A') { int t1=sta[--top]; int t2=sta[--top]; sta[top++]=(t1||t2); } else if(str[i]=='N') { int t1=sta[--top]; sta[top++]=(!t1); } else if(str[i]=='C') { int t1=sta[--top]; int t2=sta[--top]; if(t1==1&&t2==0)sta[top++]=0; else sta[top++]=1; } else if(str[i]=='E') { int t1=sta[--top]; int t2=sta[--top]; if((t1==1&&t2==1)||(t1==0&&t2==0)) sta[top++]=1; else sta[top++]=0; } }}bool solve(){ for(p=0;p<2;p++) for(q=0;q<2;q++) for(r=0;r<2;r++) for(s=0;s<2;s++) for(t=0;t<2;t++) { DoIt(); if(sta[0]==0)return false; } return true;}int main(){ //freopen("in.txt","r",stdin); //freopen("out.txt","w",stdout); while(scanf("%s",&str)) { if(strcmp(str,"0")==0)break; if(solve())printf("tautology\n"); else printf("not\n"); } return 0;}
- poj日记(3295)
- poj日记(1001)
- poj日记(1753)
- poj日记(1003)
- poj日记(1004)
- poj日记(3299)
- poj日记(1005)
- poj日记(1328)
- poj日记(1222)
- poj日记(1207)
- poj日记(1936)
- poj日记(1860)
- poj日记(2632)
- poj日记(2965)java
- poj日记(2586)java
- poj日记(1017)——贪心算法
- 汉城日记(一)
- 创业日记(转贴)
- opengl问题
- 模拟实现qsort函数
- 迭代法求平方根
- fragment 在后台被杀死 数据丢失
- 数据倾斜
- poj日记(3295)
- 2017-12-10杭电OJ2015《偶数求和》
- GitLab安装
- 在MySQL中如何使非主键字段自增长
- elk
- Junit单元测试
- Dockerfile:mysql镜像编写
- 小菜鸟的第一个爬虫:豆瓣爬取电影信息
- SpringMVC之拦截器