#include<iostream>#include<cstdio>#include<cstring>#include<cstdlib>using namespace std;#define maxn 220char s1[maxn],s2[maxn],str[maxn];int len1,len2;char opr[maxn];bool opd[maxn];bool val[20];char name[20][15];int cnt;bool is_opr(char c){ if(c=='(' || c==')' || c=='#' || c=='!' || c=='&' || c=='|' || c=='^' ) return true; else return false;}bool cal(bool a,bool b,char c){ switch(c){ case '^': return a^b; case '&': return a&b case '|': return a|b; }}int find(char s[]){ for(int i=1;i<=cnt;i++) if(strcmp(name[i],s)==0) return i; return -1;}int getpriority(char a,char b){ int r; switch(b){ case '(': r=-1; break; case ')': if(a=='(') r=0; else r=1; break; case '!': r=-1; break; case '&': if(a=='!') r=1; else r=-1; break; case '|': if(a=='!' || a=='&') r=1; else r=-1; break; case '^': if(a=='!' || a=='&' || a=='|') r=1; else r=-1; break; case '#': if(a=='#') r=0; else r=1; break; } return r;}bool work(char s[],int len){ int cs=0; int top1=0,top2=0; int i=0,j=0; opr[top1++]='#'; while(i<=len){ while(isalpha(s[i])){str[j++]=s[i];i++; } if(j!=0){ str[j]=0; int n=find(str); opd[top2++]=val[n]; j=0; } if(is_opr(s[i])){char ch=opr[top1-1],c=s[i];switch(getpriority(ch,c)){ case 0: top1--; i++; break; case -1: opr[top1++]=c; i++; break; case 1: if(ch=='!'){ opd[top2-1]=(!opd[top2-1]); top1--; } else{ bool t=cal(opd[top2-2],opd[top2-1],opr[top1-1]); top2-=2; top1--; opd[top2++]=t; } break;} } else i++; } return opd[top2-1];}bool check(){ if(work(s1,len1)==work(s2,len2)) return true; else return false;}bool dfs(int k){ if(k==cnt+1){ if(check()) return true; else return false; } val[k]=0; if(!dfs(k+1)) return false; val[k]=1; if(!dfs(k+1)) return false; return true;}void init(){ cnt=0; len1=strlen(s1); len2=strlen(s2); int i=0,j=0; s1[len1]='#'; s2[len2]='#'; s1[len1+1]=s2[len2+1]=0; while(i<len1){ if(isalpha(s1[i])){ j=0; while(isalpha(s1[i])){ str[j++]=s1[i]; i++; } str[j]=0; int n=find(str); if(n==-1){ cnt++; strcpy(name[cnt],str); } } else i++; }}int main(){ int i,j; while(gets(s1) && s1[0]){ gets(s2); init(); if(dfs(1)) printf("TRUEn"); else printf("FALSEn"); } return 0;}
