Цитата Сообщение от EFrol Посмотреть сообщение
Я опять что-то пропустил? Q1 := (not I1=false); это же Q1 := I1;
if not I1 then Q1 := false; end_if - это же Импликация
При I1=true - Q1 не меняет своего состояния.
Я и не спорю, но в данном случае, прокатывают оба варианта, можете проверить, Скрин 1 Проверка работы.jpg