已知p:A={x属于R|x^2+ax+1