Полные системы функций

[vera91]

Можно ли из системы функций { f(x3)=(10111111), x1x2x3+x1} получить функции х1х2 и отрицание х, и если да, написать определяющие выражения.
Я уже поняла, что эту задачу можно решить, операясь на докозательство достаточности критерия Поста. Составила таблицу принадлежности этих функций к классам T0, T1, S, M, L. Получилось так, что обе функции принадлежат классу Т1. Из-за этого у меня не получается решать дальше. Помогите, пожалуйста