>>616
fの具体的な説明がないよ。( f:{0,1}^n→ ?)
もしかすると農{x∈{0,1}^n} xのことを言ってるのかな？

まず"1+1=2"なのか"1+1=0"なのかはっきりしたほうがいい。