巢穴

about:blank

P3295

C++ WA..G++ AC..奇妙
#include <iostream>
#include <string>
using namespace std;

int p,q,r,s,t,v;
string str,st;
int review()
{
    v++;
    int rr;
    switch(st[v])
    { 
      case 'A':rr=review()|review();break;
      case 'K':rr=review()&review();break;
      case 'N':rr=1-review();break;
      case 'C':rr=(1-review())|review();break;
      case 'E':rr=1-(review()^review());break;
      case 'p':rr=p;break;
      case 'q':rr=q;break;
      case 'r':rr=r;break;
      case 's':rr=s;break;
      case 't':rr=t;break;
      default:break;
    }
    return rr;
}
int main()
{
    while(1)
    {
     cin>>str;
     if (str=="0") break;
     bool equal=true;
     for (p=0;p<=1&&equal;++p)
      for (q=0;q<=1&&equal;++q)
       for (r=0;r<=1&&equal;++r)
        for (s=0;s<=1&&equal;++s)
         for (t=0;t<=1&&equal;++t)
         {
          st=str;
          v=-1;
          if (review()==0)
          {
           equal=false;
           cout<<"not"<<endl;
          }
         }
     if (equal) cout<<"tautology"<<endl;
    }
       
    return 0;
}

posted on 2009-10-02 23:26 Vincent 阅读(90) 评论(0)  编辑 收藏 引用 所属分类: 数据结构与算法


只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理