已知“如果小明去上海 那么小红或小青也去上海”为真 则以下选项必然为真的是（ ）。A. 如果小红不

已知“如果小明去上海，那么小红或小青也去上海”为真，则以下选项必然为真的是（ ）。

A. 如果小红不去上海，那么小明不去上海

B. 如果小青不去上海，那么小明不去上海

C. 如果小红和小青都不去，那么小明不去上海 ，

D. 如果小明不去上海，那么小红和小青均不去上海