Online minimization of boolean functions