Category:Boolean functions; Zhegalkin stuff