4. Ниже приведена программа, записанная на пяти языках программирования. Если НЕ (s < −4 и t ≥ 3), то вывод «YES», иначе вывод «NO». Было проведено 9 запусков программы, при которых в качестве значений переменных s и t вводились следующие пары чисел: (−5, −2); (5, 3); (−14, 3); (−12, 5); (5, −7); (10, 3); (−4, 3); (5, 0); (−4, 9). Сколько было запусков, при которых программа напечатала «NO»?

«NO» выводится, когда условие после НЕ истинно: s < −4 и t ≥ 3. Проверяем пары:

1. (−5, −2): t не меньше 3 — «YES».
2. (5, 3): s не меньше −4 — «YES».
3. (−14, 3): оба условия выполнены — «NO».
4. (−12, 5): оба условия выполнены — «NO».
5. (5, −7): s не меньше −4 — «YES».
6. (10, 3): s не меньше −4 — «YES».
7. (−4, 3): s равно −4, а требуется s < −4 — «YES».
8. (5, 0): s не меньше −4 — «YES».
9. (−4, 9): s равно −4, а требуется s < −4 — «YES».

Ответ: 2 запуска.