покажи как преобразовать функцию z->x*not(y)*(x*not(y)*not(z)) в функцию not(x)*not(y)*not(z) + not(x)*y*not(z) + x*not(y)*not(z) + x*y*not(z)