Формализация информационно-логических структур АСУ и алгоритмизация получения ИЛ-элементов