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