Найти СДНФ путем логических преобразований

[Maslov]

Это и есть Ваша "большая" формула. И если Вы аккуратно раскроете все скобочки, то обнаружите, что все слагаемые, содержащие $\bar x \bar y$, будут содержать в качестве сомножителя также $x$, или $y$, или $z \bar z$.

[mike007]

Здравствуйте. После раскрытия 2 и 3 скобки все благополучно разрешилось.
Спасибо за помощь!