IPB
ЛогинПароль:

> Компиляция правил для данного раздела

1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!

> ДНФ и КНФ, что дальше??
Rabbit
сообщение 12.05.2007 15:37
Сообщение #1


Гость






такое задание: с помощью ДНФ и КНФ установить выполнисость формул
(A <-> B) <-> -A+(C -> B)
там не А+ (из С следует В)

привела к ДНФ: АВ+АС+-А-В
+неА неВ

значит ли это что формула выполнима??
как привести к КНФ??

очень надо!! буду очень благодарна!!!
 К началу страницы 
+ Ответить 

Сообщений в этой теме


 Ответить  Открыть новую тему 
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 

- Текстовая версия 29.07.2025 9:05
Хостинг предоставлен компанией "Веб Сервис Центр" при поддержке компании "ДокЛаб"