Программа напечатает "NO", если условие (s >= 3) or (t < -2) будет ложным.
Ложность составного условия (A) or (B) означает, что оба простых условия A и B должны быть ложными одновременно.
Таким образом, для вывода "NO" должны выполняться следующие условия:
s >= 3 должно быть ложным, то есть s < 3.t < -2 должно быть ложным, то есть t >= -2.Теперь проверим каждую пару чисел (s, t) на соответствие этим условиям:
s = 2. Проверяем s < 3: 2 < 3 — ИСТИНА.t = 0. Проверяем t >= -2: 0 >= -2 — ИСТИНА.Оба условия выполняются, значит, условие (s >= 3) or (t < -2) будет ложным. Программа напечатает "NO".
s = 6. Проверяем s < 3: 6 < 3 — ЛОЖЬ.t = -2. Проверяем t >= -2: -2 >= -2 — ИСТИНА.Поскольку s < 3 ложно, а t >= -2 истинно, то исходное условие (s >= 3) or (t < -2) будет истинным ((6 >= 3) or (-2 < -2) -> ИСТИНА or ЛОЖЬ -> ИСТИНА). Программа напечатает "YES".
s = 4. Проверяем s < 3: 4 < 3 — ЛОЖЬ.t = -8. Проверяем t >= -2: -8 >= -2 — ЛОЖЬ.Оба условия выполняются (s < 3 истинно и t >= -2 истинно), что означает, что исходное условие (s >= 3) or (t < -2) будет ложным. Программа напечатает "NO".
s = 3. Проверяем s < 3: 3 < 3 — ЛОЖЬ.t = -2. Проверяем t >= -2: -2 >= -2 — ИСТИНА.Поскольку t >= -2 истинно, то исходное условие (s >= 3) or (t < -2) будет истинным ((3 >= 3) or (-2 < -2) -> ИСТИНА or ЛОЖЬ -> ИСТИНА). Программа напечатает "YES".
s = 15. Проверяем s < 3: 15 < 3 — ЛОЖЬ.t = -3. Проверяем t >= -2: -3 >= -2 — ЛОЖЬ.Оба условия выполняются (s < 3 истинно и t >= -2 истинно), что означает, что исходное условие (s >= 3) or (t < -2) будет ложным. Программа напечатает "NO".
Таким образом, "NO" будет напечатано для пар (2, 0), (4, -8) и (15, -3).
Ответ: 1, 3, 5