Logic_function_minimization loading ...