Du kannst aus der ersten und dritten Gleichung ausrechnen, was f((1|0)) und f((0|1)) sein muss.
Zuerst z.B. eine Subtraktion und dann noch eine Division durch 2, ...
Dann kann du allgemein f((x|y)) = x f((1|0) + y f((0|1)) = x (1|0) + y (0|1) = ( x|y) hinschreiben
und mit Einsetzen in die 2 .Glg. ergibt sich ein Widerspruch.