Boolean functions and minimization