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