Подробно разобрано решение 3 заданий ЕГЭ по теме:  "Алгебра логики" : 2  задания по системам  логических уравнений и 1 задание по определению длины отрезка.

Решение 2  заданий выполняется с использованием битовых цепочек.

На основе первых сомножителей делаем Вывод 1: После 0 может следовать только 1.
На основе вторых сомножителей делаемя Вывод 2. После 2 единиц может идти только 1.

Третий вывод для 1 и 2 задачи отличаются, когда подключается 3 сомножитель.

В 1 задаче.  Количество битовых  цепочек для У зависит от количества нулей в битовых цепочках X.

Во 2  задаче. Количество битовых  цепочек для У зависит от количества единиц  в битовых цепочках X.

3 задача. Задание выполняется с использованием законов логики, выражение упрощается. Находим пересечение множеств. Наглядно показано на числовой прямой.