Реализовать в базисе И-НЕ логический автомат описываемый функцией

По заданной логической функции составим схему автомата (рис. 1).
Рис. 1. Внебазисная схема логического автомата
Используя закон Де-Моргана (x1+x2=x2x5) и правило двойного отрицания (x1=x1), преобразуем в базис И-НЕ заданную логическую функцию:
y=x1x2x3(x4+x2x5+(x6x7+x1))=x1x2x3((x4 x2x5 (x6x7+x1))=x1x2x3((x4 x2x5 (x6x7 x1))=x1x2x3((x4 x2x5 (x6x7 x1))==x1x2x3x4 x2x5 x6x7 x1=x1x2x3x4 x2x5 x6x7 x1
Так как разрешены только логические элементы 2И-НЕ и 3И-НЕ, то полученное выражение преобразуем так, чтобы использовались только двухвходовые и трехвходовые элементы И-НЕ:
y=x1x2x3x4 x2x5 x6x7 x1=x1x2x3x4 x2x5 x6x7 x1
Так как функция должна быть реализована в базисе И-НЕ, то в качестве инвертора используем логический элемент 2И-НЕ, оба входа которого соединим вместе (рис