Средства и методы разработки

Решил тут расширить свои познания, осваивая Харриса & Харриса. И чувствую свою тупизну, видимо, в силу возраста. Ничто не помогает это понять лучше, чем попытка усвоить новый материал.

Упражнение 2.13 с)

Надо оптимизировать уравнение (записав его в виде дизъюнктивной форме) Y = ~A ~B ~C ~D + A ~B ~C + A ~B C ~D + A B D + ~A ~B C ~D + B ~C D + ~A.

Ответ должен быть Y = ~A + ~B ~C + ~B ~D + B D.

Я упёрся, но никак не получается.

Подскажите, как вывести ответ из задачи. Знаю, что многие тут FPGA балуются.