We are promised that the function is either constant (0 on all inputs or 1 on all inputs) or "balanced" (returns 1 for half of the input domain and 0 for the other half); the task then is to determine if formula_2 is constant or balanced by using the oracle.
Задача Дойча — Йожи заключается в определении является ли функция двоичной переменной formula_1 постоянной (принимает либо значение 0, либо 1 при любых аргументах) или сбалансированной (для половины области определения принимает значение 0, для другой половины 1).