Ниже приведена программа, записанная на пяти языках программирования. Было проведено 7 запусков программы, при которых в качестве значений переменных s и t вводились следующие пары чисел (s, t). Выбери ВСЕ пары чисел, для которых программа напечатает "NO". В поле ответа запиши цифры, соответствующие выбранным парам, в порядке убывания (без пробелов и знаков препинания).

Разбираемся: В данном задании нам нужно определить, какие пары чисел (s, t) приведут к выводу "NO" программой. Программа выводит "NO" в том случае, если условие `(s > 0) or (t < s*2)` ложно. Ложность этого условия означает, что ОБЕ части дизъюнкции (логического ИЛИ) должны быть ложными. Это значит, что должны выполняться два условия одновременно: 1. `s > 0` должно быть ложным, то есть `s <= 0`. 2. `t < s*2` должно быть ложным, то есть `t >= s*2`. Итак, нам нужно найти пары (s, t), для которых `s <= 0` И `t >= s*2`. Давайте проверим каждую пару: 1) (0, 1): s=0, t=1. Условие `s <= 0` выполняется (0 <= 0). Условие `t >= s*2` не выполняется (1 >= 0*2 -> 1 >= 0 - это верно). Так как обе части истинны, условие `(s > 0) or (t < s*2)` истинно. Вывод: YES. 2) (-5, 10): s=-5, t=10. Условие `s <= 0` выполняется (-5 <= 0). Условие `t >= s*2` выполняется (10 >= -5*2 -> 10 >= -10 - это верно). Так как обе части истинны, условие `(s > 0) or (t < s*2)` истинно. Вывод: YES. 3) (10, 5): s=10, t=5. Условие `s <= 0` не выполняется (10 <= 0 - ложно). Условие `t >= s*2` не выполняется (5 >= 10*2 -> 5 >= 20 - ложно). Так как обе части ложны, условие `(s > 0) or (t < s*2)` ложно. Вывод: NO. (Цифра 3) 4) (1, 0): s=1, t=0. Условие `s <= 0` не выполняется (1 <= 0 - ложно). Условие `t >= s*2` не выполняется (0 >= 1*2 -> 0 >= 2 - ложно). Так как обе части ложны, условие `(s > 0) or (t < s*2)` ложно. Вывод: NO. (Цифра 4) 5) (10, -5): s=10, t=-5. Условие `s <= 0` не выполняется (10 <= 0 - ложно). Условие `t >= s*2` не выполняется (-5 >= 10*2 -> -5 >= 20 - ложно). Так как обе части ложны, условие `(s > 0) or (t < s*2)` ложно. Вывод: NO. (Цифра 5) 6) (5, 2): s=5, t=2. Условие `s <= 0` не выполняется (5 <= 0 - ложно). Условие `t >= s*2` не выполняется (2 >= 5*2 -> 2 >= 10 - ложно). Так как обе части ложны, условие `(s > 0) or (t < s*2)` ложно. Вывод: NO. (Цифра 6) 7) (-5, -2): s=-5, t=-2. Условие `s <= 0` выполняется (-5 <= 0). Условие `t >= s*2` не выполняется (-2 >= -5*2 -> -2 >= -10 - это верно). Так как обе части истинны, условие `(s > 0) or (t < s*2)` истинно. Вывод: YES. Таким образом, пары, для которых программа напечатает "NO", это 3, 4, 5, 6.

Ответ: 6543