Електронний каталог: Орса, Владимир Александрович - Числовой метод минимизации булевых функций.