判断表达式是否为命题公式java编写

import java.util.Scanner;

public class express {
        public static void main(String[] args) throws Exception{
            System.out.println("请输入表达式:");
            Scanner exp = new Scanner(System.in);
            String expressNew = exp.nextLine();
            
            boolean answer = verify(expressNew);
            
            if(answer == true){
                System.out.println("这个表达式是一个命题公式。");
            }
            else System.out.println("这个表达式不是一个命题公式。");
            exp.close();  
        }
        
        public static boolean verify(String exp){
            int i,j;
            char sign1,sign2;
            String exp1,exp2;
            
            i = exp.length();
            //单字符
            if(i == 1){
                sign1 = exp.charAt(i-1);
                if(sign1 >= 'a'&& sign1 <= 'z' || sign1 >= 'A' && sign1 <= 'Z'){
                    return true;
                }
                else return false;
            }
            if(i ==2 ){
                sign1 = exp.charAt(0);
                sign2 = exp.charAt(1);
                if(sign1 == '!' && (sign2 >= 'a'&& sign2 <= 'z' || sign2 >= 'A' && sign2 <= 'Z' )){
                    return true;
                }
                else return false;
            }
            if(i == 3){
                if(exp.charAt(0) == '(' && exp.charAt(2) == ')'){
                    return verify(String.valueOf(exp.charAt(1)));
                }
                else if(exp.charAt(1)=='&'||exp.charAt(1)=='|'||exp.charAt(1)=='~'){
                    return  verify(String.valueOf(exp.charAt(0)))&&verify(String.valueOf(exp.charAt(2)));
                }
                else{
                    return false;
                }
            }
            if (i >= 4) // 公式的长度不能是2和3,因此直接从长度为4的字符串判断   
            { 
                if ((exp.charAt(0) == '(') && (exp.charAt(i - 1) == ')')) // 当字符串的第一个符号和最后一个符号为'('和')'时,才有可能是一个公式   
                {   
                    if (exp.charAt(1) == '!') // 当第二个符号是否定符号的情况   
                    {   
                        exp1 = exp.substring(2, i - 1); // 取出字符串的子字符串sub1,递归判断其是否是公式   
                        if (verify(exp1)) {     
                            return true;   
                        } else {   
                            return false;   
                        }   
                    } else if (exp.charAt(1) == '(') // 当第二个符号是'('符号的情况   
                    {   
                        j = find(exp, 1, i - 2); // find(string,int,int)用于确定与该'('匹配的')'的位置   
                        if (j== -1 || j == i - 2 || j == i - 3) { // 匹配括号后，后面必须留出两个字符出来。   
                            return false;   
                        } else {   
                            exp1 = exp.substring(1, j+1);   
                            exp2 = exp.substring(j + 2, i - 1);   
       
                            if ((exp.charAt(j + 1) == '&' || exp.charAt(j) == '|'||exp.charAt(1)=='~')   
                                    && verify(exp1) && verify(exp2)) {    
                                return true;   
                            } else {   
                                return false;   
                            }   
                        }   
                    } else if (exp.charAt(1) >= 'a'&& exp.charAt(1) <= 'z' || exp.charAt(1) >= 'A' && exp.charAt(1) <= 'Z') // 当第二个符号为原子式时,取余下部   
                    { // 分设为sub1,判断sub2是否为公式,   
                        if (i == 4) {   
                            return false;// 此种情况必须大于等于5   
                        } else {   
                            if (exp.charAt(2) == '&' || exp.charAt(2) == '|'||exp.charAt(1)=='~')// 字符串才是公式   
                            {   
                                exp1 = exp.substring(3, i - 1);   
                                if (verify(exp1)) {     
                                    return true;   
                                } else {   
                                    return false;   
                                }   
                            } else {   
                                return false;   
                            }   
                        }   
                    } else {   
                        return false;   
                    }   
                } else {   
                    return false;   
                }// end >=4   
            } else {   
                return false; // 其他长度的字符串和其他情况的字符串都不是公式   
            }   
        }   
       
        public static int find(String s, int begin, int end) {   
            int n1 = 0, n2 = 0, i = begin;   
            while (i <= end) {  
                if (s.charAt(i) == '(')   
                    n1++;   
                else if (s.charAt(i) == ')')   
                    n2++;   
                else{   
                }             
                if (n1 == n2)   
                    break;   
                i++;   
            }   
            if (i > begin && i <= end)   
                return i;   
            else   
                return -1;   
        }   
        
}