以“A、B、C三人中至少有一个了解案情”和“B不了解案情”这两个判断为前提，能必然推出的结论是（）。

A“A和C都了解案情”

B“或者C了解案情，或者A了解案情”

C“A了解案情，但是，C不了解案情”

D“C了解案情，但是，A不了解案情”