Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++
Компиляция правил для данного раздела1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
  |
| ДНФ и КНФ, что дальше?? |
| Rabbit |
Сообщение
#1
|
|
Гость  |
такое задание: с помощью ДНФ и КНФ установить выполнисость формул
(A <-> B) <-> -A+(C -> B) там не А+ (из С следует В) привела к ДНФ: АВ+АС+-А-В +неА неВ значит ли это что формула выполнима?? как привести к КНФ?? очень надо!! буду очень благодарна!!! |
 
|
|
| volvo |
Сообщение
#2
|
|
Гость |
Тема в "Задачах", т.е. тебе надо привести к КНФ программно? Или только математически?
|
|
|
|
| Rabbit |
Сообщение
#3
|
|
Гость |
математически...упс...
 кажется не туда поместила... |
|
|
|
| GoodWind |
Сообщение
#4
|
 Автооответчик  Группа: Пользователи Сообщений: 1 188 Пол: Мужской Реальное имя: Александр Репутация:  16  |
перенес тему. Дубликат удалил.
-------------------- Неадекватная чушь может быть адекватным ответом на неадекватный вопрос. Понятно или разжевать?
|
   |
|
|
|
Текстовая версия | 19.04.2024 20:34 |
