Система однотипных логических уравнений

[SpiderHulk]

Система уравнений:

$\begin{cases} (x_1\to x_2)\wedge(x_1\to y_1)=1\\ (x_2\to x_3)\wedge(x_2\to y_2)=1\\ (x_3\to x_4)\wedge(x_3\to y_3)=1\\ (x_4\to x_5)\wedge(x_4\to y_4)=1\\ (x_5\to x_6)\wedge(x_5\to y_5)=1\\ (x_6\to x_7)\wedge(x_6\to y_6)=1\\ (x_7\to y_7)=1 \end{cases}

Решая её, я построил граф и мой ответ $255$ оказался верным, но я не уверен в правильности своего метода решения.
Граф:

Картинку большего размера можно скачать здесь: https://yadi.sk/i/gpMKmysb3W4i8R

UPD: решил второй подобный пример этим методом и вновь получил верный ответ, полагаю метод работает, понимаю как его упростить

[Pphantom]

Тема перемещена из форума «Computer Science» в форум «Карантин»
по следующим причинам:

- условие задачи наберите в текстовом виде, тут это несложно.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

[Pphantom]

Тема перемещена из форума «Карантин» в форум «Computer Science»

[arseniiv]

Вы ещё забыли дописать, что требуется определить число решений. И если бы вы дополнили свой граф описанием того, как он строится в общем случае, то и на вопрос о том, правильно ли так делать, быстро бы ответили. А так надо погружаться, восстанавливать опущенное…

[SpiderHulk]

Да действительно, требуется определить число решений. К сожалению я и сам не знаю как граф строится в общем случае, только некоторые частные случаи. Красным выделены переменные и их логические значения, числа в кружке - сколькими способами данное логическое значение переменной возможно получить