已知命题P不等式x2+ax+1>0恒成立,命题q方程ax2+y2=1表示焦点在y轴上的椭圆,若pVq为真命题,p^q为假