Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.72/18: Рейтинг темы: голосов - 18, средняя оценка - 4.72
0 / 0 / 0
Регистрация: 18.02.2014
Сообщений: 17
1

Привести к предваренной нормальной форме

07.05.2014, 23:52. Показов 3243. Ответов 1
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
Народ,нужна ваша помощь. Условие: приведите к предваренной нормальной форме,заданную формулу логики предикатов. Шестую формулу нужно пожалуйста.

 Комментарий модератора 
Правила форума

Правила, 5.18. Запрещено размещать задания и решения в виде картинок и других файлов с их текстом.

Задания набирать ручками. Один вопрос - одна тема. Для формул есть редактор.

Рекомендации по созданию темы

Систематическое нарушение правил, игнорирование замечаний и предупреждений.
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
07.05.2014, 23:52
Ответы с готовыми решениями:

Привести к предваренной нормальной форме (ПНФ) и к сколемовской нормальной форме (СНФ)
Привести к предваренной нормальной форме (ПНФ) и к сколемовской нормальной форме (СНФ). \ \forall...

Привести к предваренной нормальной форме - 2

Привести к предваренной нормальной форме
Ребята нужна помощь нужно привести к предваренной нормальной форме

Привести к предваренной нормальной форме
Ребята в чем ошибка ? применив все нужные законы я получил предваренную нормальную форму но...

1
0 / 0 / 0
Регистрация: 18.02.2014
Сообщений: 17
08.05.2014, 04:24  [ТС] 2
Привести к предваренной нормальной форме,пожалуйста,очень нужно. !!!! E-КВАНТОР СУЩЕСТВОВАНИЯ (Ǝ) !!!!

https://www.cyberforum.ru/cgi-bin/latex.cgi?Ex(\bar{EyP(x,y})\rightarrow (EzQ(z)\rightarrow R(z))); x,y,z\in R
0
08.05.2014, 04:24
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
08.05.2014, 04:24
Помогаю со студенческими работами здесь

Привести к предваренной нормальной форме - 3

Привести к предварённой нормальной форме
Есть следующая формула: \exists x (R(x,y,z)) \to \bar \forall x \bar Q(x,y) Моё решение,...

Привести формулу ЛП к предваренной нормальной форме
Равносильными преобразованиями приведите следующую формулу логики предикатов к предваренной...

Привести к предваренной нормальной форме (ПНФ)
Привести к предваренной нормальной форме (ПНФ): P(x,y)\rightarrow E(y)\left ,где Е -...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
2
Ответ Создать тему
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru