Quine–McCluskey minimization technique