Укажите последовательность операций для использования метода резолюций:

  • 1
  • 2
  • 3
  • 4
  • 5
  • А. Привести каждую из формул {F1,..,Fk, |G} к конъюнктивной нормальной форме (КНФ);
  • Б. В КНФ отбросить операции конъюнкции;
  • В. Составить множество формул {F1,…,Fk, |G};
  • Г. Поиск вывода пустого дизъюнкта m из S;
  • Д. Определение множества дизъюнктов S;
Для просмотра статистики ответов нужно залогиниться.