Правило резолюций дает резольвиту, которая

Выберите один ответ:

Является отрицанием резольвируемых дизъюнктов

Является логическим следствием резольвируемых дизъюнктов

Является логическим следствием одного из дизъюнктов