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

• A、“A和C都了解案情”
• B、“或者C了解案情，或者A了解案情”
• C、“A了解案情，但是，C不了解案情”
• D、“C了解案情，但是，A不了解案情”