Construction of optimized Boolean functions