Quine–McCluskey algorithm — algorithm