Simplify[!(Exists[x,Exists[y,A[x,y]]]