N=int(input())
ans="A="
count=0
for i in range(2**N):
    a=[*map(int,input().split())]
    if a[-1]==1:
        count+=1
        ans+='('
        for j in range(1,N+1):
            if a[j-1]==0:
                ans+=('¬')
            ans+='P_'+str(j)+'∧'
        ans=ans[:-1]+')∨'
print(ans[:-1] if 0<count<2**N else 'A=⊥' if count==0 else 'A=⊤')