Python判断离散数学的合式公式

import re
print("定义‘!’为否定联结词")
print("定义‘&’为合取联结词")
print("定义‘-’为析取联结词")
print("定义‘>’为蕴含联结词")
print("定义‘~’为等价联结词")
print("如果公式错误，会指出哪里错误；如果公式正确，则什么也不输出")
S =input("请输入需要判断的公式：")
T = list(S)
if S[0] in ['&','-',')','~','>'] :
    print("不是合式公式")
a ,b,c,d,f ="!" , "&" ,"-" , ">" , "~"
if a in T:
        Q = [m.start() for m in re.finditer(a, S)]
        for i in Q :
            if S[-1] == '!' :
                print ("‘!’联结词使用错误，不是合式公式")
                break
            if S[i+1] in ['&','!','-',')','~','>']:
                print("‘!’联结词使用错误，不是合式公式")
                break
            if S[i-1] in ['!']:
                print("‘!’联结词使用错误，不是合式公式！")
                break
if b in T:
        W = [m.start() for m in re.finditer(b, S)]
        for y in W :
            if S[-1] == '&' :
                print ("‘&’联结词使用错误，不是合式公式")
                break
            if S[y+1] in ['-',')','~','>','&'] :
                print("‘&’联结词使用错误，不是合式公式")
                break
            if S[y-1] in ['-','(','~','>','&'] :
                print("‘&’联结词使用错误，不是合式公式")
                break
if c in T:
        E = [m.start() for m in re.finditer(c, S)]
        for h in E :
            if S[-1] == '-' :
                print("‘-’联结词使用错误，不是合式公式")
                break
            if S[h+1] in (')','>','~','-') :
                print("‘-’联结词使用错误，不是合式公式")
                break
            if S[h-1] in ('&','-','>','~') :
                print("‘-’联结词使用错误，不是合式公式")
                break
if d in T:
        R = [m.start() for m in re.finditer(d, S)]
        for k in R :
            if S[-1] == '>' :
                print ("‘>’联结词使用错误，不是合式公式")
                break
            if S[k+1] in [')','>'] :
                print("‘>’联结词使用错误，不是合式公式")
                break
            if S[k-1] in  ['(','>'] :
                print("‘>’联结词使用错误，不是合式公式")
                break
if f in T:
        O = [m.start() for m in re.finditer(f, S)]
        for v in O :
            if S[-1] == '~' :
                print("‘~’联结词使用错误，不是合式公式")
                break
            if S[v+1] in [')','~'] :
                print("‘~’联结词使用错误，不是合式公式")
                break
            if S[v-1] in ['(','~'] :
                print("‘~’联结词使用错误，不是合式公式")
                break
if '(' or ')' in S :
        e = 0
        klb =[]
        for i in S :
            if i == '(':
                klb.append(i)
            if i == ')':
                if len(klb)==0:
                    e=1
                    break
                else :
                    klb.pop()
        if len(klb)!=0 :
            e = 1
        if e==1:
            print("括号使用错误，不是合式公式")