Комбинаторные задачи в логическом проектировании дискретных устройств