已知命题p:关于x的方程x^2+2x+a^2=0有实数解,命题q:函数f(x)=log3-ax是增函数,若(p)^q是真