Тип Д23 № 10326 

Логические уравнения. Системы логических уравнений, содержащие однотипные уравнения
i
Сколько существует различных наборов значений логических переменных x1, x2, ... x8, y1, y2, ... y8, которые удовлетворяют всем перечисленным ниже условиям:




В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ... x8, y1, y2, ... y8, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.
Решение. Будем обозначать набор входных переменных уравнения кортежем из четырёх чисел 
Рассмотрим первое уравнение. Переберём все 16 наборов переменных, подойдут 7 из них:

Так как в следующем уравнении встречаются
посчитаем, какие пары
и сколько раз вошли в наборы, удовлетворяющие первому уравнению: (0, 0) - 1, (0, 1) - 1, (1, 0) - 1, (1, 1) - 4.
Будем подставлять эти
на место
во второе уравнение. Так как оно эквивалентно первому уравнению, то можно просто брать
и находить среди решений первого уравнения кортежи, который начинаются так же.
То есть (0, 0) даст решения (0, 0, 0, 0) и (0, 0, 1, 1). (0, 1) - (0, 1, 0, 1), (0, 1, 1, 1). (1, 0) - (1, 0, 1, 0), (1, 0, 1, 1). (1, 1) - (1, 1, 1, 1).
Посчитаем, сколько каких пар
получилось среди всех решений системы из первых двух уравнений. Так как (1, 1) ставился на место 4 раза, он породил 4 кортежа с (1, 1) на конце. В общем получилось (0, 0) - 1, (0, 1) - 1, (1, 0) - 1, (1, 1) - 7.
Перейдя к следующему уравнению, получим (0, 0) - 1, (0, 1) - 1, (1, 0) - 1, (1, 1) - 10.
И так далее, с каждым уравнением количество решений будет увеличиваться на 3.
Изначально было 7 решений, плюс ещё 6 уравнений, каждое из которых добавляет по 3 решения.
Итого 
Ответ: 25