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

A.“A和C都了解案情”

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

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

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