Ah good, I didn&#x27;t know about them <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Binary_decision_diagram" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Binary_decision_diagram</a><p>It seems the issue is that BDDs are more modern and more easily computed automatically<p>(Funnily enough neither Karnaugh maps or the QMC page point to BDDs except in an external link)