Abstract:
For the monotone symmetric threshold Boolean functions $$ f^n_2(\widetilde x\mspace{2mu})=\bigvee_{1\le i<j\le n}x_ix_j,\qquad n=2,3,\dots, $$ it is established that a minimal contact circuit implementing $f^n_2(\widetilde x\mspace{2mu})$ contains $3n-4$ contacts.