Вот кстати примерчик по быстрому накатал.
Интересный факт:
TON в данном примере работает нормально, а TP ненормально.
Принцип один и тот же. Почему? Даже если вторым переходом ставить отрицание, он всеравносразу переход делает.
Насколько я правильно понимаю систему исполнения алгоритм ее работы таков:
чтение входов - выполнение шага - проверка условия перехода -
если правда - запись выходов и переход на другой шаг
Если ложь - цикл заново
А здесь получается
сначала проверка условия, а уж потом все остальное