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