n = int(input())
l = 2 ** n
a = [list(map(int, input().split())) for i in range(l)]

p = [x[:n] for x in a]
q = [x[n] for x in a]

s = sum(q)
if s == l:
    print("A=⊤")
elif s == 0:
    print("A=⊥")
else:
    print("A=",end="")
    f1 = False
    for i in range(l):
        if q[i] == 1:
            if f1:                
                print("∨",end="")
            f1 = True
            print("(",end="")
            for j in range(n):
                if j != 0:
                    print("∧",end="")
                if p[i][j] == 0:
                    print("¬",end="")
                print("P_{}".format(j+1),end="")
            
            print(")",end="")
    print()