#include<bits/stdc++.h>
#pragma GCC optimize(2)
using namespace std;
int pos=0,n,m[1001],idx=0;
stack<int>st;
map<char,int>mp;
map<char,int>::iterator it;
char s[10001],c[1001],x;
int main(){
	while(cin>>x)
	{
		// if(x=='1')
		// {
		// 	break;
		// }
		s[++pos]=x;
		if(x>='a'&&x<='z')
		{
			mp[x]++;
		}
	}
	n=mp.size();
	for(it=mp.begin();it!=mp.end();it++)
	{
		c[++idx]=it->first;
	}
	for(int i=0;i<1<<n;i++)
	{
		while(st.size())
		{
			st.pop();
		}
		for(int j=0;j<n;j++)
		{
			if(i>>j&1)
			{
				m[c[j+1]-'a']=1;
			}
			else
			{
				m[c[j+1]-'a']=0;
			}
		}
		for(int j=1;j<=pos;j++)
		{
			if(s[j]>='a'&&s[j]<='z')
			{
				st.push(m[s[j]-'a']);
			}
			else
			{
				if(s[j]=='&')
				{
					int ka=st.top();
					st.pop();
					int kb=st.top();
					st.pop();
					kb&=ka;
					st.push(kb);
				}
				else if(s[j]=='|')
				{
					int ka=st.top();
					st.pop();
					int kb=st.top();
					st.pop();
					kb|=ka;
					st.push(kb);
				}
				else if(s[j]=='^')
				{
					int ka=st.top();
					st.pop();
					int kb=st.top();
					st.pop();
					kb^=ka;
					st.push(kb);
				}
				else
				{
					int k=st.top();
					st.pop();
					k=!k;
					st.push(k);
				}
			}
		}
		if(!st.top())
		{
			cout<<"NO";
			return 0;
		}
	}
	cout<<"YES";
	return 0;
}