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