Помогите упростить логическую функцию: (Z∨(Y∧¬Z))∧(X∨(Y∧¬Z))∧((X∧Y)∨¬Y)

(Z∨(Y∧¬Z))∧(X∨(Y∧¬Z))∧((X∧Y)∨¬Y) = (Z∨Y)∧(X∨(Y∧¬Z))∧(X∨¬Y) = (Z∨Y)∧((X∨Y)∧(X∨¬Z))∧(X∨¬Y) = (Z∨Y)∧(X∨Y)∧(X∨¬Z)∧(X∨¬Y) = X ∧ X = X