Потому что одной и той же паре F1, F2 могут соответсвовать разные наборы x1, x2, x3 - то есть восстановление не является однозначным. Интересно, как Вы осуществите однозначно восстановлние?
То есть при F1F2=11 Вы не можете однозначно провести восстановление