Автор Дмитрий Паршин задал вопрос в разделе Естественные науки
Привести к КНФ ДНФ (1,4,5 варианты) и получил лучший ответ
Ответ от Ёаша Русанов[гуру]
Навесить двойное отрицание раскрыть, напрмер: (\\x v y)(\\(xy) v (\\yz) v x) = \\\\ (\\x v y)(\\(xy) v (\\yz) v x) = \\ ( \\ (\\x v y) v \\ (\\(xy) v (\\yz) v x) ) =\\( x\\y xy\\(\\yz)x) = ( x\\y xy\\(\\yz)x) = x \\(\\yz)
Ответ от 22 ответа[гуру]
Привет! Вот подборка тем с похожими вопросами и ответами на Ваш вопрос: Привести к КНФ ДНФ (1,4,5 варианты)