Ниже приведена программа, записанная на пяти языках программирования. Программа считывает целые числа $s$ и $k$ и печатает «YES», если одновременно выполняются условия $s > 6$ и $k > 6$, иначе…
- 1
Программа печатает «YES» только при одновременном выполнении условий $s > 6$ и $k > 6$.$$s > 6 \land k > 6$$
- 2
Проверяем пары чисел. Подходят $(7, 9)$, $(8, 11)$ и $(12, 7)$.
Ещё 1 шаг — в полном решении
Программа для заданных значений переменных $s$, $t$ и параметра $A$ выводит «YES», если выполняется условие $(s > A) \mathbin{\text{или}} (t > 12)$, и выводит «NO» в противном случае. Было проведено…
- 1
Программа выводит «NO», если отрицание условия вывода «YES» истинно: $s \leqslant A$ и $t \leqslant 12$.$$s \leqslant A \mathbin{\text{и}} t \leqslant 12$$
- 2
Для последней пары $(1, 13)$ условие $t \leqslant 12$ не выполняется, поэтому программа всегда выводит «YES». Рассматриваем первые восемь пар.
Ещё 3 шага — в полном решении
Программа для каждой пары целых чисел $s$ и $t$ и целого параметра $A$ выводит «YES», если выполняется условие $s > A$ или $t > 12$, и «NO» в противном случае. Были выполнены 9 запусков с парами…
- 1
Условие $t > 12$ выполняется только для пары $(1, 13)$. Для неё программа всегда выводит «YES».
- 2
Для остальных восьми пар необходимо, чтобы выполнялось $s > A$. Чтобы всего получилось пять ответов «YES», это неравенство должно выполняться ещё для четырёх пар.
Ещё 2 шага — в полном решении
Ниже приведена программа, записанная на пяти языках программирования. При каждом запуске вводятся значения переменных $s$ и $t$. Программа выводит «YES», если выполняется условие $s < -2$ или не…
- 1
Преобразуем отрицание условия: неравенство не является истинным, если $t \geq 4$.$$\neg(t < 4) \Leftrightarrow t \geq 4$$
- 2
Программа печатает «YES», если выполняется хотя бы одно из условий: $s < -2$ или $t \geq 4$.$$(s < -2) \lor (t \geq 4)$$
Ещё 2 шага — в полном решении
Ниже приведена программа, записанная на пяти языках программирования. Программа вводит целые значения переменных $s$, $t$ и $A$ и выводит «YES», если выполняется условие $s > A$ или $t > 12$, иначе…
- 1
Для пары $(1, 13)$ условие $t > 12$ выполняется, поэтому программа выводит «YES» при любом значении $A$.
- 2
В остальных восьми парах значение $t$ не превышает $12$. Поэтому программа выводит «YES» только при выполнении условия $s > A$.
Ещё 2 шага — в полном решении
Ниже приведена программа, записанная на пяти языках программирования. Программа вводит целые числа $s$, $t$ и $A$ и выводит «YES», если выполняется условие $(s > A) \lor (t > 11)$, иначе выводит…
- 1
Программа выводит «NO», если условие $(s > A) \lor (t > 11)$ ложно. Это означает, что одновременно выполняются условия $s \leq A$ и $t \leq 11$.
- 2
Пара $(5, 12)$ не может дать «NO», так как $t > 11$. Для остальных пар значения $s$ равны $-9$, $2$, $2$, $7$, $12$, $9$, $7$, $11$.
Ещё 2 шага — в полном решении
Ниже приведена программа, записанная на пяти языках программирования. Программа получает целые числа $s$, $t$ и $A$ и выводит «YES», если выполняется условие $s > A$ или $t > 11$, и «NO» в противном…
- 1
Условие $t > 11$ выполняется только для пары $(5, 12)$. Этот запуск даёт один результат «YES» при любом значении $A$.$$12 > 11$$
- 2
Для остальных восьми запусков результат «YES» определяется условием $s > A$. Чтобы всего получилось четыре результата «YES», это условие должно выполниться ещё ровно три раза.
Ещё 2 шага — в полном решении
Ниже приведена программа, записанная на пяти языках программирования. Программа выводит «YES», если $s > A$ или $t > 12$, и выводит «NO» в противном случае. Было проведено 9 запусков программы, при…
- 1
Программа печатает «NO», если условие вывода «YES» ложно: $s \leq A$ и $t \leq 12$.
- 2
Пара $(1, 13)$ не может дать результат «NO», поскольку $t > 12$.
Ещё 3 шага — в полном решении
Ниже приведена программа, записанная на пяти языках программирования. Программа получает значения переменных $s$, $t$ и $A$ и выводит «YES», если выполняется условие $s > A$ или $t > 12$, и «NO» в…
- 1
Программа печатает «NO», когда условие в операторе if ложно. Это означает, что одновременно выполняются неравенства $s \leq A$ и $t \leq 12$.
- 2
Последняя пара $(1, 13)$ не может дать «NO», так как $t > 12$. Для остальных восьми пар учитываем значения $s$: $13, 11, -12, 2, -10, 6, 2, 9$.
Ещё 2 шага — в полном решении
Программа печатает «YES», если выполняется хотя бы одно из условий: $s > A$ или $t > 12$. Было проведено 9 запусков программы, при которых в качестве значений переменных $s$ и $t$ вводились…
- 1
Пара $(1, 13)$ всегда приводит к выводу «YES», поскольку выполняется условие $t > 12$.
- 2
Для остальных восьми пар необходимо, чтобы выполнялось условие $s > A$. Чтобы получить всего пять выводов «YES», оно должно выполниться ещё четыре раза.
Ещё 2 шага — в полном решении
Программа вводит целые значения переменных $s$, $t$ и $A$ и выводит «YES», если выполняется условие $s > 10$ или $t > A$, иначе выводит «NO». Было проведено 9 запусков программы, при которых в…
- 1
Программа печатает «NO», если отрицание условия вывода «YES» истинно: $s \leq 10$ и $t \leq A$.$$s \leq 10 \ \text{и}\ t \leq A$$
- 2
Рассмотрим пары, для которых $s \leq 10$: $(1,2)$, $(1,12)$, $(-11,-12)$, $(-12,11)$, $(10,10)$ и $(10,5)$.
Ещё 2 шага — в полном решении
Ниже приведена программа, записанная на пяти языках программирования. Программа выводит «YES», если $s > A$ или $t > 11$, и выводит «NO» в противном случае. Было проведено 9 запусков программы, при…
- 1
Программа печатает «NO», если условие в операторе if ложно, то есть одновременно выполняются неравенства $s \leq A$ и $t \leq 11$.$$s \leq A \land t \leq 11$$
- 2
Пара $(5, 12)$ не может привести к выводу «NO», поскольку $t=12>11$.
Ещё 2 шага — в полном решении
Ниже приведена программа, записанная на пяти языках программирования. Программа вводит целые числа $s$, $t$ и $A$ и выводит «YES», если выполняется условие $s > A$ или $t > 12$, иначе выводит «NO»…
- 1
Программа печатает «NO», когда условие вывода «YES» ложно: $s \leq A$ и $t \leq 12$.
- 2
Для пары $(1, 13)$ вывод «NO» невозможен при любом $A$, поскольку $t > 12$.
Ещё 3 шага — в полном решении
Ниже приведена программа, записанная на пяти языках программирования. Программа считывает целые значения переменных $s$, $t$ и $A$ и выводит «YES», если выполняется условие $s > 10$ или $t > A$…
- 1
Для пар $(11, 2)$ и $(11, 12)$ условие $s > 10$ истинно, поэтому программа напечатает «YES» независимо от значения $A$.$$2 \text{ запуска}$$
- 2
Для остальных пар проверяем условие $t > A$. Чтобы всего получить пять выводов «YES», оно должно быть истинным ещё в трёх запусках.$$t > A$$
Ещё 1 шаг — в полном решении
Ниже приведена программа, записанная на пяти языках программирования. Программа выводит «NO», если одновременно выполняются условия $s \le 2$ и $t < 3$, а во всех остальных случаях выводит «YES»…
- 1
Программа печатает «NO», если одновременно выполняются условия $s \le 2$ и $t < 3$.$$(s \le 2) \land (t < 3)$$
- 2
Оба условия выполняются для пар $(2, -2)$ и $(-4, 1)$. Для остальных семи пар хотя бы одно из условий не выполняется, поэтому программа печатает «YES».
Ещё 1 шаг — в полном решении
Программа считывает целые числа $s$ и $k$. Если остаток от деления $s$ на $7$ равен $k$, программа печатает «YES», иначе печатает «NO». Было проведено 9 запусков программы со следующими парами…
- 1
Проверяем пары последовательно и оставляем те, для которых остаток от деления $s$ на $7$ равен $k$.$$2 \bmod 7 = 2$$
- 2
Подходят пары $(2,2)$, $(7,0)$, $(22,1)$, $(10,3)$ и $(9,2)$.$$7 \bmod 7=0,\quad 22 \bmod 7=1,\quad 10 \bmod 7=3,\quad 9 \bmod 7=2$$
Ещё 1 шаг — в полном решении
Программа получает целые значения переменных $s$, $t$ и $A$. Если выполняется условие $(s > A)$ или $(t > 11)$, программа печатает «YES», иначе печатает «NO». Было проведено 9 запусков программы…
- 1
Программа печатает «NO», если условие в скобках ложно: $s \leqslant A$ и $t \leqslant 11$.
- 2
Пара $(5, 12)$ не может дать «NO», поскольку $t > 11$.
Ещё 3 шага — в полном решении
Ниже приведена программа, записанная на пяти языках программирования. Программа получает целые значения переменных $s$, $t$ и $A$ и выводит «YES», если выполняется условие $s > 10$ или $t > A$, и…
- 1
В двух запусках $(11, 2)$ и $(11, 12)$ условие $s > 10$ истинно, поэтому программа напечатает «YES» при любом значении $A$.
- 2
В остальных семи запусках значение «YES» получается только при выполнении неравенства $t > A$.
Ещё 3 шага — в полном решении
Ниже приведена программа, записанная на пяти языках программирования. Программа получает значения переменных $s$, $t$ и $A$ и выводит «YES», если $s > 10$ или $t > A$, иначе выводит «NO». Было…
- 1
Программа выводит «NO», если условие вывода «YES» ложно:$$\neg(s > 10 \lor t > A) = (s \leq 10) \land (t \leq A)$$
- 2
В запусках с парами $(11, 2)$ и $(11, 12)$ условие $s > 10$ истинно, поэтому программа дважды выводит «YES» независимо от значения $A$.
Ещё 2 шага — в полном решении
Ниже приведена программа, записанная на пяти языках программирования. Программа считывает целые числа $s$, $t$ и $A$ и выводит «YES», если выполнено условие $s > 10$ или $t > A$, иначе выводит «NO»…
- 1
Условие $s > 10$ выполняется для пар $(11, 2)$ и $(11, 12)$. Они дают два вывода «YES» при любом значении $A$.$$2$$
- 2
Для остальных пар проверяем условие $t > A$. При $A = 9$ оно выполняется для пар $(1, 12)$, $(-11, 12)$, $(-12, 11)$ и $(10, 10)$.$$12 > 9,\quad 12 > 9,\quad 11 > 9,\quad 10 > 9$$
Ещё 2 шага — в полном решении