Redirecting to Quine–McCluskey algorithm