Преобразование логической функции методом де Моргана

sstart = "!(!(A & B) & (!A | B) | C)"
snew = ""
sk1 = 0
sk2 = 0
last = 0
skobka = 0
s = sstart.replace("!!", "")
print(sstart)
print()
if "!)" in s or "!&" in s or "!|" in s:
    print("Неверное логическое выражение")
    exit()
for j in range(len(s)):
    if s[j] == "(":
        sk1 += 1
    if s[j] == ")":
        sk2 += 1
if sk1 != sk2:
    print("Неверное логическое выражение")
    exit()
for kol in range(2):
    for i in range(len(s)):         
        #elif s[i] != "!":
            #snew += str(s[i])
        if s[i] == "!" and s[i+1] == "(":
            for x in range(i+2, len(s)):
                if s[x] == "!" and s[x+1] == "(":
                    break
                if s[x] == ")":
                    skobka = x
                    break
            if skobka != 0:
                snew += str(s[i])
                snew += str(s[i+1])
                for y in range(i+2,skobka):
                    if s[y] == "!":
                        snew += str(s[y+1])
                    elif s[y] in "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz" and s[y-1] != "!":
                        snew += "!" + str(s[y])
                        y += 2
                    elif s[y] == "|" and s[y-1] != "!":
                        snew += " & "
                        y += 3
                    elif s[y] == "&" and s[y-1] != "!":
                        snew += " | "
                        y += 3
                    i += x-i-2
                for z in range(skobka+1,len(s)):
                    snew += str(s[z])
                snew += " "
                s = snew
                snew = ""
 
    print(s)

sstart = "!(!(A & B) & (!A | B) | C)"
snew = ""
sk1 = 0
sk2 = 0
last = 0
skobka = 0
s = sstart.replace("!!", "")
print(sstart)
print()
if "!)" in s or "!&" in s or "!|" in s:
    print("Неверное логическое выражение")
    exit()
for j in range(len(s)):
    if s[j] == "(":
        sk1 += 1
    if s[j] == ")":
        sk2 += 1
if sk1 != sk2:
    print("Неверное логическое выражение")
    exit()
for kk in range(3):
    for i in range(len(s)):         
        #elif s[i] != "!":
            #snew += str(s[i])
        if s[i] == "!" and s[i+1] == "(":
            for x in range(i+2, len(s)):
                if s[x] == "!" and s[x+1] == "(":
                    break
                if s[x] == ")":
                    skobka = x
                    break
            if skobka != 0:
                snew += str(s[i])
                snew += str(s[i+1])
                for y in range(i+2,skobka):
                    if s[y] == "!":
                        snew += str(s[y+1])
                    elif s[y] in "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz" and s[y-1] != "!":
                        snew += "!" + str(s[y])
                        y += 2
                    elif s[y] == "|" and s[y-1] != "!":
                        snew += " & "
                        y += 3
                    elif s[y] == "&" and s[y-1] != "!":
                        snew += " | "
                        y += 3
                    i += x-i-2
                for z in range(skobka+1,len(s)):
                    snew += str(s[z])
                snew += "    "
                s = snew
                snew = ""
                skobka = 0
 
    print(s)