Об алгоритме прямого тождественного преобразованиядоклад на конференции