ПОИСК Статьи Чертежи Таблицы Теперь определим взаимодействие отношения 61 Г 62 и всего кода в целом. Отношение 61 f 62 считается выполненным (невыполненным) для кода, если оно выполнено (не выполнено) для Ле, либо выполнено (не выполнено) для Ле при условии, что для Ле оно не определено. Код бракуется, если отношение для кода не выполнено. В противном случае, он оставляется для дальнейшего анализа. [Выходные данные]