设函数f(x)=2^1-x,x小于等于1,1-log(2)x,x>1,则满足