Преобразуйте лог. выражение z∧y∨z∧¬x с полным обьяснением

1.z*y+z*не х 2.можем вынести z 3.z*(y+ не х) 4. у+ не х = у=> х ( по правилу Де Моргана) 5. z*y=>x