Minimizing Boolean Functions (Quine–McCluskey)
jafl.github.com