根据形式演绎方法，如果结论能够被通过使用（）从给定前提中一步一步地演绎出来，那么这个论证被表明是有效的。

A、有效论证

B、逻辑等值

C、重言式原则

D、以上都对

焦油加工的主要任务是获得酚、萘、蒽等纯产品和（）等粗产品。