Вопрос был в том, почему скобки исправляют ситуацию, очевидно здесь нарушение приоритетов. И тут я хотел проверить, как выполнится условие, если заменить "сравнение" с одним приоритетом на "инверсию" с более высоким. Лучший способ проверить - посмотреть, какие инструкции использовал компилятор для этого условия.
Но при И проверка двух условий обязательна, независимо от приоритетов, разве нет ?
Где-то мне попадалась информация, что выражение условия проверяется до конца независимо от того, когда уже известно что оно не выполнится (например "if false and var1 then", здесь var1 всё равно проверится). То ли это было в Step7, то ли в Codesys, сейчас не могу найти подтверждение.