Замечание о минимизации глубины булевых схем

Показано, что метод Ложкина (1981 г.) минимизации глубины формул с ограниченным числом перемен типов элементов в путях от входов к выходу и метод Пиппенджера, Хувера, Клауэ (технический отчет 1981 г., журнальная публикация 1984 г.) минимизации глубины схем с неограниченным ветвлением путем вставки деревьев из буферов с ограниченным ветвлением выхода каждого буфера являются двойственными друг к другу и могут быть доказаны одним методом.
Библиогр. 7.