设┐p→q与┐q均真，则p的真假情况为（）。