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