z->y*not(x)+not(y)*x преобразуй