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

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

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

очень надо!! буду очень благодарна!!!

Тема в "Задачах", т.е. тебе надо привести к КНФ программно? Или только математически?

математически...упс... кажется не туда поместила...

перенес тему. Дубликат удалил.