Минимальные контактные схемы для симметрических пороговых функций

Для монотонных симметрических пороговых булевых функций
$$ f^n_2(\widetilde x\mspace{2mu})=\bigvee_{1\le i<j\le n}x_ix_j,\qquad n=2,3,\dots, $$
установлено, что минимальная контактная схема, реализующая $f^n_2(\widetilde x)$, содержит $3n-4$ контактов.
Библиография: 18 названий.