N = int(input())
count = 0

line = 2 ** N
ans = ""
for i in range(line):
    l = list(map(int, input().split()))
    if l[-1] == 1:
        ans += "("
        for j in range(N):
            if l[j] == 1:
                ans += "P_" + str(j + 1) + "∧"
            else:
                ans += "¬P_" + str(j + 1) + "∧"
        ans = ans[:-1]
        ans += ")∨"
        count += 1

if count == 0:
    print("A=⊥")
elif count == line:
    print("A=⊤")
else:
    print("A=" + ans[:-1])