https://datadosen.com/sco/Quine–McCluskey_algorithm