Упрастить СНДФ. Туплю.

[smartchecker]

Нашёл СДНФ, выглядит так.
$(\overline{x}\wedge \overline{y}\wedge \overline{z})\vee (\overline{x}\wedge y \wedge z)\vee (x \wedge y \wedge \overline{z}) \vee (x \wedge y \wedge z)$
Нужно упростить.
На первом этапе получил это
$(\overline{x}\wedge \overline{y}\wedge \overline{z})\vee (y \wedge z)\vee (x \wedge y \wedge \overline{z})$
Дальше вроде так.
$(\overline{x}\wedge \overline{y}\wedge \overline{z})\vee (y \wedge (z \vee x))$
Дальше оно упрощается или я вообще где-то ошибся?