#include <iostream>
#include <fstream>
using namespace std;

//ifstream in("bool.in");
//ofstream out("bool.out");

char s[100001],t[10001];
int i,i;
int freq[150];

int expresieOr();
int expresieAnd();
int expresieXor();
int factor();

int main(){
    cin.getline(s,100001);
    int rd=strlen(s);
    for(int i=0;i<rd;i++){
        if(s[i]==' '){
            continue;
        }
        if(s[i]=='(' || s[i]==')'){
            t[i++]=s[i];
            continue;
        }
        if(s[i]=='T' && s[i+1]=='R'){
            t[i++]='1';
            i+=3;
            continue;
        }
        if(s[i]=='F' && s[i+1]=='A'){
            t[i++]='0';
            i+=4;
            continue;
        }
        if(s[i]=='O' && s[i+1]=='R'){
            t[i++]='|';
            i++;
            continue;
        }
        if(s[i]=='A' && s[i+1]=='N'){
            t[i++]='&';
            i+=2;
            continue;
        }
        if(s[i]=='N' && s[i+1]=='O'){
            t[i++]=1;
            t[i++]=^;
            i+=2;
        }
    }
}