http://qa4boq364ndjdgow4kadycr5vvch7hofzblcqangh3nobzvyew7a.b32.i2p/humanities/nfs/nfs.htm
К вопросу о логическом представлении счётчика чётности (С. 14-23) Рассмотрена задача о представлении счётчика чётности,
т. е. булевской функции x 1 + ... + x n (mod 2) в виде формулы над множеством
логических связок {И, ИЛИ, НЕ}. Показано, что при n = 6 в любой такой формуле должно
быть не меньше 40 вхождений переменных, причём оценка
40 является точной.