План решения везде одинаковый, т.к. эти системы однородные. В приложении решение двух - 10.8 и 11.8.

1) строим таблицу истинности для первого уравнения.

2) строим отображения пар друг в друга

3) выводим из отображений рекуррентные формулы

4) создаем расчетную таблицу количества битовых цепочек по рекуррентным формулам

5) в последнем столбце суммируем все полученные битовые цепочки и получаем ответ.