3値理論を計算する練習問題が解けずに困っています

堀江伸一 2011-03-19 17:35:13 No: 72465 IP: 192.*.*.*

http://rose.u-aizu.ac.jp/onlinejudge/ProblemSet/description.jsp?id=1155&lang=jp
リンク先問題が解けずに困っております。

コードはmystackに計算中の式を代入して問題を解いています。
myprint関数にmystackを渡すことで、計算中の式を見ることができます。
コードに何か問題があるらしくテストデータで不正解をくらってしまいます。
自分で何度もチェックしたのですがわかりませんでした。
どなたかアドバイスをお願いします。

#include <stdio.h>
#include <stack>
#include <map>
#include <string.h>
void myprint(std::stack<char> my);
void solve(int n,char data[81]);
char myNot(char c);
int myVer(char c);
char myAnd(char c1,char c2);
char myOr(char c1,char c2);

std::stack<char> mystack;
std::map<char,int> rank;

int r,q,p;

int main()
{
  char data[81];
  int n;
  scanf("%s",data);
  n=strlen(data);
  rank['P']=rank['Q']=rank['R']=0;
  rank['0']=rank['1']=rank['2']=0;
  rank['+']=1;
  rank['*']=2;
  rank['-']=3;
  rank['(']=4;
  rank[')']=-1;


  while(!(data[0]=='.' && n==1)){
    solve(n,data);
    scanf("%s",data);
    n=strlen(data);
  }
}

void solve(int n,char data[81]){
  int point=0;
  int nowRank=0;
  char ts[3];
  int count=0;
  bool kakkoFlag=false;

  for(r=0;r<3;r++){
  for(p=0;p<3;p++){
  for(q=0;q<3;q++){
    while(mystack.empty()==false) mystack.pop();
    point=1;
    mystack.push(data[0]);
    nowRank=rank[data[0]];
    while(point<=n)
    {
      if(n==point || nowRank>rank[data[point]])
      {

        if(point<n)
        {
          if(data[point]!=')') mystack.push(data[point]);
          nowRank=rank[data[point]];
          if(data[point]==')') kakkoFlag=true;
          else kakkoFlag=false;
        }
          while(mystack.size()>1)
          {
            ts[0]=mystack.top();
            mystack.pop();
            ts[1]=mystack.top();
            mystack.pop();
            nowRank=rank[ts[1]];
            if(ts[1]=='('){
              if(ts[0]=='('){
                mystack.push(ts[1]);
                if(kakkoFlag==false){
                  mystack.push(ts[0]);
                }
                break;
              }else if(ts[0]=='-'){
                mystack.push(ts[1]);
                mystack.push(ts[0]);
                break;
              }else{
                if(kakkoFlag==true){
                  mystack.push(ts[0]);
                  break;
                }else{
                  mystack.push(ts[1]);
                  mystack.push(ts[0]);
                  break;
                }
              }

            }else if(ts[1]=='-'){
              if(ts[0]=='-'){
                mystack.push('-');
                mystack.push('-');
                break;
              }else if(ts[0]=='('){
                mystack.push('-');
                mystack.push('(');
                break;
              }else{
                mystack.push(myNot(ts[0]));
              }
            }else if(ts[1]=='+' || ts[1]=='*'){
              if(ts[0]=='-' || ts[0]=='('){
                mystack.push(ts[1]);
                mystack.push(ts[0]);
                break;
              }else{
                ts[2]=mystack.top();
                mystack.pop();
                if(ts[1]=='+'){
                  ts[0]=myOr(ts[2],ts[0]);
                }else if(ts[1]=='*'){
                  ts[0]=myAnd(ts[2],ts[0]);
                }
                mystack.push(ts[0]);
              }
            }else{
              mystack.push(ts[1]);
              mystack.push(ts[0]);
              break;
            }
          }
          point++;
      }else{
          if(n>point){
            mystack.push(data[point]);
            nowRank=rank[mystack.top()];
            point++;
          }
      }
    }
  if(myVer(mystack.top())==2) count++;

  }
  }
  }

  printf("%d\n",count);
}

void myprint(std::stack<char> my){
  std::stack<char> nt;
  while(my.empty()==false){
    nt.push(my.top());
    my.pop();

  }

  while(nt.empty()==false){
    my.push(nt.top());
    printf("%c",nt.top());
    nt.pop();
  }
  printf("\n");
}

char myNot(char c){
  int t=myVer(c);
  if(t==2){
    return '0';
  }else if(t==1){
    return '1';

  }else if(t==0){
    return '2';
  }
  return c;
}

int myVer(char c){
  int t=c;
  if(c=='R'){
    t=r;
  }else if(c=='P'){
    t=p;
  }else if(c=='Q'){
    t=q;
  }else if('3'>c && c>='0'){
    t=c-'0';
  }
  return t;
}

char myAnd(char c1,char c2){
  char t[3][4]={"000","011","012"};
  return t[myVer(c1)][myVer(c2)];
}

char myOr(char c1,char c2){
  char t[3][4]={"012","112","222"};
  return t[myVer(c1)][myVer(c2)];
}