Algebraic rewriting finds *a* simpler form and stops. Quine–McCluskey finds the minimal one systematically.