已知条件p:x≤1,条件q:1x<1,则p是¬q成立的(  ) 条件.