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

Предлагается метод, позволяющий преобразовать к виду, удобному для контроля произвольную схему из функциональных элементов, реализующую систему булевых функций. Вместе с описанием метода даются верхние оценки сложности.