У исполнителя Калькулятор две команды: 1. прибавь 4,
2. вычти 3.
Первая из них увеличивает число на экране на 4, вторая – уменьшает его на 3. Если в ходе вычислений появляется отрицательное число, он выходит из строя и стирает написанное на экране. Программа для Калькулятора – это последовательность команд. Сколько различных чисел можно получить из числа 0 с программы, которая содержит ровно 17 команд?

1, 2, 3, 4

Объяснение:

Введем обозначения:

a = X > 0, b = X > 4

Тогда выражение будет иметь вид (a + b) → b и нужно найти условия, когда оно ложно. Вместо этого, мы будем искать, когда отрицание этого условия истинно, т.е. истинность ¬( (a + b) → b)

Для начала избавимся от импликации

¬( ¬(a + b) + b)

А теперь примерим к внешнему отрицанию закон де-Моргана

(a + b) · ¬b

Раскрываем скобки

a · ¬b  + b · ¬b

a · ¬b + 0

a · ¬b

Делаем обратную замену

( X > 0) · ¬(X > 4)

( X > 0) · (X ≤ 4)

Переведем это на более понятный язык:

X > 0 И X ≤ 4, или

0 < X ≤ 4

Из целых чисел сюда подойдут 1, 2, 3, 4.

1, 2, 3, 4

Объяснение:

Введем обозначения:

a = X > 0, b = X > 4

Тогда выражение будет иметь вид (a + b) → b и нужно найти условия, когда оно ложно. Вместо этого, мы будем искать, когда отрицание этого условия истинно, т.е. истинность ¬( (a + b) → b)

Для начала избавимся от импликации

¬( ¬(a + b) + b)

А теперь примерим к внешнему отрицанию закон де-Моргана

(a + b) · ¬b

Раскрываем скобки

a · ¬b  + b · ¬b

a · ¬b + 0

a · ¬b

Делаем обратную замену

( X > 0) · ¬(X > 4)

( X > 0) · (X ≤ 4)

Переведем это на более понятный язык:

X > 0 И X ≤ 4, или

0 < X ≤ 4

Из целых чисел сюда подойдут 1, 2, 3, 4.