hl. soft na cislicovou minimalizaci Slysel jsem ze existuje software na minimalizaci cislicovych obvodu...vite nazev?