Переборный метод обработки карт Карно для освоения приложений алгебры логики к дискретным устройствам железнодорожной автоматики | Гомельский государственный технический университет имени П.О.Сухого