Modern electronics CAD packages have algorithms for Boolean function minimisation, which help designers considerably by doing the tedious reduction calculations automatically. ESPRESSO is a basic package of function minimization algorithms.
