n,*a=gets.to_i
u=$<.map{|s|i=0
*x,r=s.split
r>?0&&a<<"(#{x.map{|q|"#{q<?1??¬:""}P_#{i+=1}"}*?∧})"
r}|[]
puts"A="+(u==[?0]??⊥:u==[?1]??⊤:a*?∨)