Ответ:

Анализ программы (Задание 4)

Программа на любом из пяти языков (Бейсик, Паскаль, Python, Алгоритмический язык, C++) проверяет условие: NOT ((s < -4) AND (t >= 3)). Если условие истинно, печатается "YES", иначе - "NO".

Условие NOT ((s < -4) AND (t >= 3)) эквивалентно (s >= -4) OR (t < 3) по законам Де Моргана. Программа печатает "NO", если это условие ложно, то есть если (s < -4) AND (t >= 3).

Проверка пар чисел:

Проверим каждую пару чисел из 9 запусков на условие (s < -4) AND (t >= 3). Если оно истинно, программа напечатает "NO".

  1. (-5, -2): (-5 < -4) - истина, (-2 >= 3) - ложь. Условие ложно. Вывод: "YES".
  2. (5, 3): (5 < -4) - ложь, (3 >= 3) - истина. Условие ложно. Вывод: "YES".
  3. (-14, 3): (-14 < -4) - истина, (3 >= 3) - истина. Условие истинно. Вывод: "NO".
  4. (-12, 5): (-12 < -4) - истина, (5 >= 3) - истина. Условие истинно. Вывод: "NO".
  5. (5, -7): (5 < -4) - ложь, (-7 >= 3) - ложь. Условие ложно. Вывод: "YES".
  6. (10, 3): (10 < -4) - ложь, (3 >= 3) - истина. Условие ложно. Вывод: "YES".
  7. (-4, 3): (-4 < -4) - ложь, (3 >= 3) - истина. Условие ложно. Вывод: "YES".
  8. (3, 0): (3 < -4) - ложь, (0 >= 3) - ложь. Условие ложно. Вывод: "YES".
  9. (-4, 9): (-4 < -4) - ложь, (9 >= 3) - истина. Условие ложно. Вывод: "YES".

Подсчет запусков с выводом "NO":

Вывод "NO" был получен в случаях:

  • (-14, 3)
  • (-12, 5)

Всего 2 запуска.

Ответ: 2