Таблица истинности

class Tokenizer {
    int pos;
    char[] expression;
    
    Tokenizer() {
    }
 
    Tokenizer(String expression) {
        this.expression = expression.toCharArray();
        this.pos = 0;
    }
 
    enum Type {
        Operand, Predicate
    }
 
    class Lexeme {
        String predicate, token;
        Lexeme(String predicate, String token) {
            this.predicate = predicate;
            this.token = token;
        }
    }
 
    Lexeme getNextToken() {
        StringBuilder token = new StringBuilder();
        boolean endOfToken = false;
        Type type = null;
        while (!endOfToken && hasMoreTokens()) {
            while(expression[pos] == ' ' && hasMoreTokens()) {
                pos++;
            }
            switch (expression[pos]) {
                case 'v':
                case '^':
                case '=':
                case '!':
                    if(type != Type.Predicate) {
                        type = Type.Operand;
                        token.append(expression[pos]);
                        pos++;
                    }
                    endOfToken = true;
                    break;
                case ' ':
                    endOfToken = true;
                    pos++;
                    break;
                default:
                    if(Character.isAlphabetic(expression[pos])) {
                        token.append(expression[pos]);
                        type = Type.Predicate;
                    } else {
                        System.out.println("Systax error at position: " + pos);
                    }
                    pos++;
                    break;
            
            }
        }
        return new Lexeme(type.name().toLowerCase(), token.toString());
    }
 
    boolean hasMoreTokens() {
        return pos < expression.length;
    }
}

    public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);
        String input = sc.nextLine();
        Tokenizer tokenizer = new Tokenizer(input);
        while (tokenizer.hasMoreTokens()) {
            Tokenizer.Lexeme nextToken = tokenizer.getNextToken();
            System.out.print(nextToken.token + " is " + nextToken.predicate + "\n");
        }
    }