It is known that "if Xiaoming goes to Shanghai, then Xiaohong or Xiaoqing also goes to Shanghai",. Then the following options must be true? ['If Xiaohong does not go to Shanghai, then Xiaoming does not go to Shanghai.', 'If Xiaoqing does not go to Shanghai, then Xiaoming does not go to Shanghai.', 'If Xiaohong and Xiaoqing do not go to Shanghai, then Xiaoming does not go to Shanghai.', 'If Xiaoming does not go to Shanghai, then neither Xiaohong nor Xiaoqing will go to Shanghai.']