Espresso heuristische logische minimalisator: verschil tussen versies

Een radicaal verschillende aanpak voor dit probleem wordt gevolgd bij het Espresso-algoritme, ontwikkeld aan de [[Universiteit van Californië]] in- [[Berkeley]]. In plaats van een functie te expanderen in mintermen, worden door het programma iteratief zogenaamde ''"cubes"'' gemanipuleerd, waarmee de producttermen van de functie in het ON-, het OFF-, respectievelijk het DC-cover worden gerepresenteerd. Hoewel niet kan worden gegarandeerd dat het minimalisatieresultaat wordt gevormd door het globale minimum, wordt dit in de praktijk toch dicht benaderd en is de oplossing met zekerheid vrij van [[logische redundantie|redundantie]]. Vergeleken met andere methoden is dit algoritme in essentiële mate efficiënter, waarbij het geheugengebruik en de rekentijd met orden van grootte zijn gereduceerd. Deze eigenschap wordt met de naam van het algoritme benadrukt door de vergelijking met het in een oogwenk zetten van een kopje verse koffie. In het algemeen vormen meerdere tientallen ingangsvariabelen in combinatie met tientallen uitgangsfuncties geen enkel probleem.