превести булаву функция к СДНФ равносильными преобразованиями из ДНФ.
z->(x^not(y))^(x^not(y)^not(z))