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