Преобразование в КНФ

[Dahn]

Дана функция (X ↔ Z)→(X ∧ Y ),которую надо привести к КНФ, после ряда преобразований получается что-то такое: (X ↔ Z)→(X ∧ Y ) = ((неX→Z)(неZ→X))→(X∧ Y) = (неX∨неZ) ∧ (X∨Z) ∨ (X∧ Y) и вот дальше застопорился, помогите, как можно довести до ответа?

[Sonic86]

topic183.html -наберите формулы, как написано здесь.
А вообще надо применять законы дистрибутивности.

[Toucan]

Тема перемещена в Карантин.

Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.