重言式判断程序

写了一个重言式判断的程序，|为析取，&为和取，~为非。支持括号嵌套和括号匹配检查，还不支持语法检查。
例如(a&b|c&~b)|e|f|(g&h|i)|j|k|l|m|((n|p|c&a)&o)|p|q|r|s|(t&u|v&w|x&y&z)|~((n|p|c&a)&o)。计算量很大时可以显示完成百分比，请各位帮我测试下还有bug没，万分感谢~