$"='∧';print'A=',1<<<>^(@_=map/1$/?$i="(@{[map'¬'x!$_.P_.++$i,<$`>]})":(),<>)?@_?join'∨',@_:'⊥':'⊤'