Агата Сомова · старший инспектор, Седьмой отдел
Двенадцать показаний, и каждое скроено по-своему: одно с «если», другое с «ни … ни», третье с «тогда и только тогда». Сравнивать их так невозможно. Мне нужен список требований: каждое короткое, вида «хотя бы одно из …», и все должны выполняться разом. Можно ли так переписать любое показание? И если можно, то как?
Когда показаний много, мешает не их число, а разнобой. Каждое приходится разбирать отдельно, держать в голове свою форму и свои скобки. Если привести все показания к одному виду, их можно будет положить в одну стопку и проверять одним способом.
Сегодня ты узнаешь две стандартные формы, в которые переписывается любая формула: список требований и список сценариев. Заодно выяснишь удивительную вещь: все пять связок можно заменить одной.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.