Сколько существует различных наборов значений логических переменных x1, x2, ... x9, y1, y2, ... y9, которые удовлетворяют всем перечисленным ниже условиям:
Будем обозначать набор входных переменных уравнения кортежем из четырёх чисел
Рассмотрим первое уравнение. Переберём все 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 решений, плюс ещё 7 уравнений, каждое из которых добавляет по 3 решения.
Итого

