import sys
N = int(input())
p = [("¬P_%d"%i, "P_%d"%i)for i in range(1, N+1)]
ans = []

for a in (list(map(int, l.split())) for l in sys.stdin):
    if a[-1] == 0:
        continue
    s = "∧".join(p[i][n] for i, n in enumerate(a[:-1]))
    ans.append("(%s)"%s)

print("A="+("⊤" if len(ans)==2**N else "⊥" if not ans else "∨".join(ans)))