Чтобы понять программу, достаточно посмотреть запись на алгоритмическом языке.
С клавиатуры вводятся три целых числа, которые записываются в переменные s, t и A. Если выполняется условие, то на экран выводится «YES», если не выполняется – «NO».
Помимо неизвестного значения A, усложнением является то, что программа должна вывести «NO». То есть исходное условие не должно выполняться.
Можно провести преобразования по логическим формулам.
При выполнении отрицания (НЕ) нужно обратить внимание на то, что строгое неравенство (>) преобразуется в нестрогое (<=). Так как в условии логическое умножение (И), чтобы программа печатала «NO» одновременно должны выполняться оба простых условия.
Дальше будем рассматривать только запуски, в которых s ≤ 10. Ищем 3 наименьших значения t. Это значения -12, 2 и 5. Все эти числа не превышают 5.