Подробное описание решения в приложении.
План простой:
1) анализируем первое уравнение, строим для него таблицу истинности
2) по таблице истинности строим отображения
3) по отображениям строим рекуррентные формулы для расчетной таблицы
4) по рекуррентным формула делаем расчетную таблицу кол-ва битовых цепочек
5) накладываем ограничения из последнего уравнения
6) получаем ответ с учетом ограничений
