D = ["∧","∨","¬","⊥","⊤"]
N = int(input())
ans = "A="
X = []
for i in range(1<<N):
    x = [0]+list(map(int,input().split()))
    X.append(x)
    if x[-1]==0:continue
    if x[1]==0:
        s = D[2]+"P_1"
    else:
        s = "P_1"
    for j in range(2,N+1):
        if x[j]==0:
            s += D[0]+D[2]+f"P_{j}"
        else:
            s += D[0]+f"P_{j}"
    if ans=="A=":
        ans += "("+s+")"
    else:
        ans += D[1]+"("+s+")"
flag = 1
for i in range(1<<N):
    if X[i][-1]==0:
        flag = 0
        break
if flag==1:
    ans = "A="+D[4]
flag = 1
for i in range(1<<N):
    if X[i][-1]==1:
        flag = 0
        break
if flag==1:
    ans = "A="+D[3]
print(ans)