zdanie = "((p^q)=>((pvq)^((t^q)v(z^y))"

def SzukanieNawiasow(i):
    fragment = ""
    i+=1
    while i<len(zdanie) and zdanie[i]!= ')':
        if zdanie[i] == '(':
            i= i+ len(SzukanieNawiasow(i)) +2
        fragment+=zdanie[i];
        i=i+1
    print(zmianaKolejnosci(fragment))
    return fragment


def zmianaKolejnosci(fragm):
    dlugosc = len(fragm)
    k = 0
    lewa = ""
    srodek = ""
    prawa = ""
    i = 0
    while fragm[i] != "v" and fragm[i] != "^" and fragm[i] != "<" and fragm[i] != "=":
        lewa += fragm[i]
        i += 1
    k = i + 1
    srodek = fragm[k - 1]
    while k < dlugosc:
        prawa += fragm[k]
        k += 1
    fragm = srodek + lewa + prawa
    return fragm


SzukanieNawiasow(0)