Логическая схема: пример, где одно «или» меняет решение

В схеме могут быть правильные слова и неправильное решение. Я столкнулся с этим, когда записывал порядок выдачи брони: все три проверки присутствовали, а одна ветка позволяла обойти самую первую. Ни опечаток, ни пропавшего блока. Такая логическая схема выглядит убедительно, пока не подставишь неудобный пример. Разберём его — и найдём место, где одно «или» изменило правило.

Начинать с красивых прямоугольников я теперь не спешу. Сначала нужна фраза, по которой два человека примут одинаковое решение. Затем — несколько сочетаний входных данных. И только после этого имеет смысл выбирать форму стрелок и цвет развилок.

Логическая схема: пример с обязательной проверкой брони

Для разбора зададим правило проката настольных игр: игру можно выдать, если найдена бронь и либо подтверждена предоплата, либо разрешена оплата при получении. Разрешение здесь — заранее установленное условие конкретной заявки, а не обещание посетителя заплатить когда-нибудь. Другие правила проката сейчас не моделируем.

Я собрал из этой фразы список трёх утверждений, каждое из которых можно проверить отдельно:

• A: номер брони найден в списке.
• B: предоплата подтверждена.
• C: для заявки разрешена оплата при получении.

Утверждение получает значение «да» или «нет». В таблице ниже запишем их как 1 и 0. Сами буквы ничего не решают. Это короткие имена проверок, которые позволяют видеть связи, не перечитывая каждый раз длинную фразу про оплату.