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