已知集合A是函数y=log(20+8x-x^2)的定义域,p:x∈A,