Для простоты обьяснения выберем тройку кораблей которая будет заходить в ответвление. Пускай это будет "Обь", "Восток" и "Петропавловск" - далее А1, А2, А3
Вторая група кораблей будет только ездить туда сюда "Мир", "Енисей" и "Россия" - далее группа В 0) Если надо, корабли группы В задним ходом возвращаются на места, чтоб дать кораблю из группы А заплыть в ответвление 1) Корабль А1 заходит в ответвление 2) Корабли группы В плывут вперед, так чтоб зайти за ответвление и выпустить корабль оттуда 3) Корабль А1 выплывает из ответвления и уплывает
Шаги 0-3 повторяются для всех кораблей группы А
4) Корабли групы В проплывают дальше по освободившемуся каналу
1) Логическое умножение или конъюнкция (логическое И): Конъюнкция - это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложеное выражение ложно. Обозначение: F = A & B. Таблица истинности для конъюнкции A&B=F 1&1=1 1&0=0 0&1=0 0&0=0 2) Логическое сложение или дизъюнкция (логическое ИЛИ): Дизъюнкция - это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выраженныя ложны. Обозначение: F = A + B. Таблица истинности для дизъюнкции A+B=F 1+1=1 1+0=1 0+1=1 0+0=0 3) Логическое отрицание или инверсия (логическое НЕ): Инверсия - это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным. Другими простыми слова, данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО. Таблица истинности для инверсии A неА 1 0 0 1
