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

В работе рассматриваются системы булевых функций, удовлетворяющие некоторому ограничению на взаимное расположение существенных переменных. Для таких систем доказана нижняя оценка сложности схем из функциональных элементов в базисе из всех двуместных булевых функций. Полученная оценка имеет вид $(4k-3)$, где число входов схемы равно числу выходов схемы и равно $2k$. Приведен пример системы линейных булевых функций, для которой указанная нижняя оценка является точной.