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