boolean formula(){
		char ch = get();
		if(ch=='('){
			boolean f1 = formula();
			ch = get();
			if(ch=='*'){
				boolean f2 = formula();
				get();
				return f1&&f2;
			}
			else if(ch=='+'){
				boolean f2 = formula();
				get();
				return f1||f2;
			}
			else{
				get();
				boolean f2 = formula();
				get();
				return !f1||f2;
			}
		}
		else if(ch=='-'){
			return !formula();
		}
		else if(ch=='T'){
			return true;
		}
		else if(ch=='F'){
			return false;
		}
		else return assign[ch-'a'];
	}