Версия для печати темы
Нажмите сюда для просмотра этой темы в обычном формате
Форум «Всё о Паскале» _ Математика _ ДНФ и КНФ
Автор: Rabbit 12.05.2007 19:37
такое задание: с помощью ДНФ и КНФ установить выполнисость формул
(A <-> B) <-> -A+(C -> B)
там не А+ (из С следует В)
привела к ДНФ: АВ+АС+-А-В
+неА неВ
значит ли это что формула выполнима??
как привести к КНФ??
очень надо!! буду очень благодарна!!!
Автор: volvo 12.05.2007 20:20
Тема в "Задачах", т.е. тебе надо привести к КНФ программно? Или только математически?
Автор: Rabbit 12.05.2007 21:25
математически...упс... 
кажется не туда поместила...
Автор: GoodWind 13.05.2007 0:02
перенес тему. Дубликат удалил.