Упростить логическое выражение
Не(не(Y)*X+Z*X) * Z = не(X) * Z
А как из этого: не(не(Y)*X+Z*X) получили не(X)