n = int(input()) ans = "A=" cnt = 0 for _ in range(2**n): q = list(map(int, input().split())) if q[-1] == 1: cnt += 1 if ans == "A=": ans += "(" else: ans += ")∨(" for j in range(n): if q[j] == 0: ans += "¬" ans += "P_" ans += str(j+1) if j != n-1: ans += "∧" ans += ")" if cnt == 0: print("A=⊥") elif cnt == 2**n: print("A=⊤") else: print(ans)