 |
|
|
 
|
|
Привести к ДНФ и КНФ, Задание, связанное с логикой 
| FataMorgana |
|
|||
|
Новичок Профиль Группа: Участник Сообщений: 1 Регистрация: 12.12.2010 Репутация: нет Всего: нет |
Готова уже убиться с этим заданием. Нужно, используя формулы, привести к ДНФ и КНФ вот это выражение:
(¬X1 ⊃ X2)∼(X2 ∼ X3) . При использовании формул получается нечто огромное и страшное...  Помогите, пожалуйста, если не сложно. |
|||
|
||||
Загрузка ...
| NumLock |
|
|||
 Шустрый  Профиль Группа: Участник Сообщений: 66 Регистрация: 30.7.2006 Где: Иркутск Репутация: нет Всего: нет |
Давайте определимся с терминами.
⊃ - это импликация (если ... то ...)? ∼ - это конъюнкция (и)? ¬ - это отрицание (не)? Если да, то выражение приводится к КНФ очень просто: (X1 ⊃ X2) = (¬X1 v X2) => (¬X1 ⊃ X2) = (X1 v X2). КНФ для всей формулы, в данном случае, выглядит так: (X1 v X2) ∼ X2 ∼ X3. Здесь v - это дизъюнкция. (или) Это сообщение отредактировал(а) NumLock - 21.12.2010, 09:24 |
|||
|
||||
|
|
| Правила форума "Алгоритмы" | |
|
|
Форум "Алгоритмы" предназначен для обсуждения вопросов, связанных только с алгоритмами и структурами данных, без привязки к конкретному языку программирования и/или программному продукту.
Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, maxim1000. |
| 0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей) | |
| 0 Пользователей: | |
| « Предыдущая тема | Алгоритмы | Следующая тема » |
[ Время генерации скрипта: 0.0362 ] [ Использовано запросов: 21 ] [ GZIP включён ]
Реклама на сайте Информационное спонсорство
|
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |