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