Обязательным требованием метода резолюций является приведение исходной формулы к
(Отметьте один правильный вариант ответа.)
Варианты ответа
дизъюнктивная нормальная форма
контрарной паре
конъюнктивной нормальная форма(Верный ответ)