СДНФ
(x V y V !z) -> !(x ~ y) =
=!(x V y V !z) -> !(x ~ y) =
= (!x & !y & z) V !(x ~ y)
(x ~ y) это (x V y) & (!x V !y)
(!x & !y & z) V (!x & !y) V (x & y) =
= (!x & !y & z) V (!x & !y & z) V (!x & !y & !z) V (!x & !y & z) V (!x & !y & !z) =
= (!x & !y & z) V (!x & !y & !z) V (!x & !y & z) V (!x & !y & !z)
Добрый день. Меня заинтересовал ваш ответ "СДНФ
(x V y V !z) -> !(x ~ y) =
=!(x V y V !z) -> !(x ~ y) =
= (!x & !y & z) V !(x ~ y)
..." на вопрос http://www.liveexpert.org/topic/view/813996-privesti-k-sdnf-sknf. Можно с вами обсудить этот ответ?