Пусть $f$ — односторонняя функция. Положим

• $g(x, r) = (f(x), r)$
• $h(x, r) = \Sigma x^{[i]} \cdot r^{[i]}$
  • умножение — битовое И
  • сложение — XOR

Тогда $h$ — трудный предикат функции $g$