книге А.А.Шалыто "ИСПОЛЬЗОВАНИЕ ГРАФ-СХЕМ И ГРАФОВ ПЕРЕХОДОВ ПРИ ПРОГРАММНОЙ РЕАЛИЗАЦИИ АЛГОРИТМОВ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ."
Приводится пример генерирующего контура. Осходя из определения "В графе переходов существуют генерирующие контуры, если, по крайней мере, в одном из них конъюнкция пометок всех дуг, которые его образуют, не равна нулю.", для контура ,к примеру, 0 - 2 конъюнкцию меток надо делять для каждой дуги контура или сразу для всех меток все дуг т.е X1&X2X3?
Можно пояснить?