Minimization of Boolean functions