Алгебраический аппарат последовательностей вывода

Предлагаемая работа нацелена на искоренение недостатков Последовательностей Вывода (ПВ), присущих программам вычислительных машин. Постановка задачи и предшествующие исследования ПВ составляют содержание работ [10-12]. На завершающем этапе статьи ПВ заменяются Функционально-Эквивалентными (ФЭ) им алгебраическими выражениями, на входе в которые имеют место те же Функциональные Зависимости (ФЗ), что и в исходных ПВ. Результат работы, соответствующий её целям, содержится в Теореме 3.