О сложности реализации линейных булевых функций схемами из функциональных элементов в базисе $\{x\to y,\bar x\}$

Установлено, что минимальная схема из функциональных элементов в базисе $\{x\to y,\bar x\}$, реализующая линейную функцию от $n$ переменных, содержит $4n-4$ элементов.