Решение: Подсчёт результатов программы
Программа выводит «YES», если одновременно выполняются условия $s < 4$ и не выполняется условие $t < 2$. В противном случае программа выводит «NO». Были выполнены 9 запусков с парами значений $(s, t)$: $(0, 2)$; $(-1, 0)$; $(2, 3)$; $(4, 2)$; $(3, 1)$; $(-2, 7)$; $(10, -2)$; $(5, 4)$; $(-7, 11)$. Сколько было запусков, при которых программа напечатала «YES»?
Решение по шагам
3 шагаУсловие вывода «YES» имеет вид $s < 4$ и $\lnot(t < 2)$. Отрицание второго условия означает $t \geq 2$.
$$s < 4 \land t \geq 2$$Проверим пары значений. Условие выполняется для $(0, 2)$, $(2, 3)$, $(-2, 7)$ и $(-7, 11)$.
Всего подходящих запусков: $4$.
Где здесь ошибаются
Ошибочно считать условие `not (t < 2)` выполненным при $t < 2$.
Не учитывать одновременно оба условия: $s < 4$ и $t \geq 2$.
Включать пару $(4, 2)$, хотя $4 < 4$ — ложное утверждение.