Я опять что-то пропустил? Q1 := (not I1=false); это же Q1 := I1;
if not I1 then Q1 := false; end_if - это же Импликация
При I1=true - Q1 не меняет своего состояния.
Вид для печати
Я опять что-то пропустил? Q1 := (not I1=false); это же Q1 := I1;
if not I1 then Q1 := false; end_if - это же Импликация
При I1=true - Q1 не меняет своего состояния.
Я и не спорю, но в данном случае, прокатывают оба варианта, можете проверить, Скрин Вложение 81872
Проверил! Не прокатило!
Вложение 81873
При 3 допустимых на погрузке.
После того как под погрузку встали Q3, Q4, Q5, I1 и I2 поставили Q1 и Q2 под погрузку без разрешения.
А вот была бы очередь из оскат библиотеки, то размерностью массива можно было четко зафиксировать скольким юнитам разрешено вставить в очередь, т.ч. зря отказались
EFrol по идее ко второму если скобками не определено обратное.