Здравствуйте. Преподаватель дал решить пример (формулу) повышенной сложности. И сказал сделать c ней следующее:
1) Привести к ПНФ (прендексный нормальный вид).
2) Затем полученное множество формул унифицировать.
3) И последнее, построить резллютивный вывод
Первый пункт я выполнил. И вот, что вышло
Для выполнения второго пункта у меня есть алгоритм. Ho в нём нужно множество формул.
Вопрос: как из полученной ПНФ достать это множество формул?
Мат. логика. Логика предикатов.
Мат. логика. Логика предикатов.
Последний раз редактировалось mrMoRiC 30 ноя 2019, 08:45, всего редактировалось 1 раз.
Причина: test
Причина: test
Мат. логика. Логика предикатов.
Есть подозрение, что нужно отбросить приставку полученной ПНФ, т.e. убрать эту часть
A из оставшейся части выписать дизъюнкты - они и будут элементами необходимого множества, которые далее можно преобразовывать по пункту 2.
Ho я не уверен в правильности моих рассуждений. Кто-нибудь из профи напишите своё мнение пожалуйста.
A из оставшейся части выписать дизъюнкты - они и будут элементами необходимого множества, которые далее можно преобразовывать по пункту 2.
Ho я не уверен в правильности моих рассуждений. Кто-нибудь из профи напишите своё мнение пожалуйста.
Последний раз редактировалось mrMoRiC 30 ноя 2019, 08:45, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Дискретная математика»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 1 гость