以（A∨～B∨～C）和C为前提进行演绎推理，能必然推出的结论有（）。

• A、（A∧C）
• B、（～A→～B）
• C、（B→A）
• D、（A∧～B）
• E、（A←B）