Упростить формулу так, чтобы она содержала только знаки основных логических операций: дизъюнкции, конъюнкции, отрицания над отдельными буквами. Построить ДНФ, СДНФ, КНФ, СКНФ этой функции. ~((~Z)->(~Y)) | Y+X↓Z

Which animal do I like? — Какое животное мне нравится?
Identity card — Удостоверение личности
name: horse – название: лошадь
from: Russia — из России
lives: fields — живет: поля
legs: strong — ноги: сильные
tail: beautiful, long — хвост: красивый, длинный
can: run, jump, swim — может: бегать, прыгать, плавать
Identity card — Удостоверение личности
name: monkey — название: обезьяна
from: Africa — из: Африка
lives: forest — живет: лес
legs: long — ноги: длинные
tail: long — хвост: длинный
can: run, jump, climb trees — может: бегать, прыгать, лазать по деревьям

Which animal do I like? — Какое животное мне нравится?
Identity card — Удостоверение личности
name: horse – название: лошадь
from: Russia — из России
lives: fields — живет: поля
legs: strong — ноги: сильные
tail: beautiful, long — хвост: красивый, длинный
can: run, jump, swim — может: бегать, прыгать, плавать
Identity card — Удостоверение личности
name: monkey — название: обезьяна
from: Africa — из: Африка
lives: forest — живет: лес
legs: long — ноги: длинные
tail: long — хвост: длинный
can: run, jump, climb trees — может: бегать, прыгать, лазать по деревьям