已知命题p:x^2-2x-3