Определи, для каких пар чисел (s, t) программа напечатает "NO".

Пошаговое решение:

1. Проанализируем условие вывода "YES": s > 10 ИЛИ t < 5.
2. Значит, для вывода "NO" должно выполняться противоположное условие: НЕ (s > 10 ИЛИ t < 5).
3. По законам логики (закон Де Моргана), это эквивалентно (НЕ s > 10) И (НЕ t < 5).
4. Преобразуем это в более понятную форму: s <= 10 И t >= 5.
5. Теперь проверим каждую пару чисел, удовлетворяют ли они условию s <= 10 И t >= 5:
   • 1) (9, 6): 9 <= 10 (верно) И 6 >= 5 (верно). Обе части верны, значит, будет "NO".
   • 2) (10, 5): 10 <= 10 (верно) И 5 >= 5 (верно). Обе части верны, значит, будет "NO".
   • 3) (11, 4): 11 <= 10 (неверно) И 4 >= 5 (неверно). Хотя бы одна часть неверна, значит, будет "YES".
   • 4) (12, 3): 12 <= 10 (неверно) И 3 >= 5 (неверно). Обе части неверны, значит, будет "YES".
   • 5) (13, 5): 13 <= 10 (неверно) И 5 >= 5 (верно). Хотя бы одна часть неверна, значит, будет "YES".
6. Пары, для которых будет напечатано "NO", это 1) и 2).

Ответ: 12