Logic circuit minimizer