• <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>

    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>

            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>
            

    
            

            




            







												


        


            


            巢穴
            

            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 閱讀(94) 評論(0)  編輯 收藏 引用  所屬分類: 數(shù)據(jù)結(jié)構(gòu)與算法 
		
            
	
            
	
	





            
	    
    




            






            

				

            


    
    







            
	   
	



久久国产精品二国产精品|
深夜久久AAAAA级毛片免费看|
亚洲欧美国产日韩综合久久
|
久久久久亚洲精品天堂|
色欲综合久久躁天天躁蜜桃|
久久精品国产亚洲av水果派|
丁香久久婷婷国产午夜视频|
久久婷婷五月综合色奶水99啪|
久久精品aⅴ无码中文字字幕不卡|
久久久精品午夜免费不卡|
亚洲国产精品嫩草影院久久|
久久精品国产亚洲AV无码偷窥|
日本高清无卡码一区二区久久|
精品免费久久久久久久|
亚洲精品NV久久久久久久久久
|
久久婷婷激情综合色综合俺也去
|
久久婷婷五月综合97色直播|
久久久久久综合一区中文字幕|
精品久久久久久久国产潘金莲|
青青草原综合久久大伊人精品|
亚洲精品国精品久久99热一|
久久久久国产精品麻豆AR影院
|
伊人久久亚洲综合影院|
久久99精品久久久久久动态图|
久久天天躁夜夜躁狠狠|
久久久久亚洲精品天堂久久久久久|
久久亚洲精品中文字幕|
国产成人精品三上悠亚久久|
亚洲午夜久久久|
色青青草原桃花久久综合|
久久精品国产精品亚洲下载|
亚洲国产精品久久久久|
久久久中文字幕|
日本福利片国产午夜久久|
狠狠色丁香久久综合五月|
成人久久精品一区二区三区|
青草国产精品久久久久久|
99精品久久久久久久婷婷|
精品无码久久久久国产动漫3d|
久久精品国产99久久久古代|
久久人人爽人人爽人人片AV麻烦
|