https://datadosen.com/Quine–McCluskey_algorithm