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