RT，RE原因不明，望大佬指点

#include<bits/stdc++.h>
using namespace std;
const int N=1e6+5;
string s;
stack<int> stk;
int n,a[N],flag[N];
int son[N][2],c[N];
int dfs(int id,int rv){
    if(id <= n) return a[id]^=rv;
    int x=dfs(son[id][0],rv^flag[son[id][0]]);
    int y=dfs(son[id][1],rv^flag[son[id][1]]);
    if(a[id] == 2){
        if(x == 0) c[son[id][1]]=1;
        if(y == 0) c[son[id][0]]=1;
        return x&y;
    }
    if(x == 1) c[son[id][1]]=1;
    if(y == 1) c[son[id][0]]=1;
    return x|y;
}
void check(int id){
    if(id <= n) return;
    c[son[id][0]]|=c[id];
    c[son[id][1]]|=c[id];
    check(son[id][0]);
    check(son[id][1]);
}
int main(){
    getline(cin,s);
    cin >> n;
    int cnt=n;
    for(int i=1;i<=n;i++) cin >> a[i];
    cout << s << endl;
    for(int i=0;i<s.length();i++){//RE
        cout << "?";
        if(s[i] == 'x'){
            int temp=0;
            while(s[i] != ' '){
                temp=temp*10+s[i]-'0';
                i++;
            }
            stk.push(temp);
        }else if(s[i] == '!') flag[stk.top()]^=1;
        else{
            int x=stk.top();
            stk.pop();
            int y=stk.top();
            stk.pop();
            stk.push(++cnt);
            son[cnt][0]=x;
            son[cnt][1]=y;
            if(s[i] == '&') a[cnt]=2;
            else a[cnt]=3; 
        }
    }
    int ans=dfs(cnt,flag[cnt]);
    check(cnt);
    while(n--){
        int temp;
        cin >> temp;
        cout << (c[temp] ? ans : !ans) << endl;
    }
    return 0;
}