Как доказать эквивалентность двух цифровых схем

Пример задачи, демонстрирующий, как преобразовать цифровую логическую схему в булевы уравнения, упростить их с помощью булевой алгебры и доказать равенство двух схем. Из курса «Цифровое проектирование».