Отправлено: 18.12.19 01:48. Заголовок: Объясните, пожалуйста, не сходится ответ

Задача №242
Сколько наборов логических переменных соответствует условию, что хотя бы одно из следующих выражений истинно.
(x1~x2) & x3 & (x4~x5)
(x2~x3) & x4 & (x5~x6)
...................................
(x5~x6) & x7 & (x8~x9)
Решение:
x1 x2 x3 x4 x5 x6 x7 x8 x9
0 0 1 0 0
0 0 1 1 1
1 1 1 0 0
1 1 1 1 1
64 решения
x1 x2 x3 x4 x5 x6 x7 x8 x9
* 0 0 1 0 0
* 0 0 1 1 1
* 1 1 1 0 0
0 1 1 1 1 1
56 решений
x1 x2 x3 x4 x5 x6 x7 x8 x9
* * 0 0 1 0 0
* * 0 0 1 1 1
* * 1 1 1 0 0
1 0 1 1 1 1 1
52 решения, ведь цепочка 0011111.. уже учтена выше.
И дальше у меня получается по 52 решения, так как остальные уже учтены выше.
Всего - 276 решений, а в ответе - 280.

 Отправлено: 19.12.19 10:49. Заголовок: спосiбо за объяснение

while True:
print("Лизка Саратова + Васякин = либофъ")