OpenFIPI 2.0

У исполнителя Утроитель две команды, которым присвоены номера:

1. прибавь 1,

2. умножь на 3.

Первая из них увеличивает число на экране на 1, вторая  утраивает его.

Программа для Утроителя – это последовательность команд.

Сколько есть программ, которые число 3 преобразуют в число 36?

Логическая функция F задаётся выражением x /\ ¬y /\ (¬z \/ w).

На рисунке приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F истинна.

Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных w, x, y, z. 

В ответе напишите буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала – буква, соответствующая первому столбцу; затем – буква, соответствующая второму столбцу, и т.д.) Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Пример. Если бы функция была задана выражением ¬x \/ y, зависящим от двух переменных: x и y, и был приведён фрагмент её таблицы истинности, содержащий все наборы аргументов, при которых функция F истинна.

Тогда первому столбцу соответствовала бы переменная y, а второму столбцу – переменная x. В ответе следовало бы написать: yx.

У исполнителя Удвоитель две команды, которым присвоены номера:

1. прибавь 1,

2. умножь на 2.

Первая из них увеличивает число на экране на 1, вторая удваивает его.

Программа для Удвоителя – это последовательность команд.

Сколько есть программ, которые число 1 преобразуют в число 21?

У исполнителя Удвоитель две команды, которым присвоены номера:

1. прибавь 1,

2. умножь на 2.

Первая из них увеличивает число на экране на 1, вторая  удваивает его.

Программа для Удвоителя – это последовательность команд.

Сколько есть программ, которые число 2 преобразуют в число 22?

У исполнителя Прибавитель две команды, которым присвоены номера:

1. прибавь 1,

2. прибавь 4.

Первая из них увеличивает число на экране на 1, вторая увеличивает это число на 4. Программа для Прибавителя  это последовательность команд. Сколько есть программ, которые число 3 преобразуют в число 15?

У исполнителя Прибавитель две команды, которым присвоены номера:

1. прибавь 1,

2. прибавь 4.

Первая из них увеличивает число на экране на 1, вторая  увеличивает это число на 4. Программа для Прибавителя  это последовательность команд. Сколько есть программ, которые число 3 преобразуют в число 16?

У исполнителя Прибавитель две команды, которым присвоены номера:

1. прибавь 1,

2. увеличь старшую цифру числа на 1.

Первая из них увеличивает число на экране на 1, вторая увеличивает на 1 старшую (левую) цифру числа, например число 23 с помощью такой команды превратится в число 33. Если старшая цифра числа равна 9, то вторая команда оставляет это число неизменным.

Программа для Прибавителя  это последовательность команд.

Сколько есть программ, которые число 15 преобразуют в число 38?

На числовой прямой даны два отрезка: P = [20, 50] и Q = [30,65]. Отрезок A таков, что формула

¬(x ∈ A) → ((x ∈ P) →¬ (x ∈ Q))

истинна при любом значении переменной x.

Какова наименьшая возможная длина отрезка A?

Сколько единиц содержится в двоичной записи значения выражения:   
4²⁰¹³ + 2²⁰¹² – 16?

Логическая функция F задаётся выражением

(x /\ y /\¬z) \/ (x /\ y /\ z) \/ (x /\¬y /\¬z).

На рисунке приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F истинна.

Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z. 

В ответе напишите буквы x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала – буква, соответствующая первому столбцу; затем – буква, соответствующая второму столбцу, и т.д.) Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Пример. Если бы функция была задана выражением ¬x \/ y, зависящим
от двух переменных: x и y, и был приведён фрагмент её таблицы истинности, содержащий все наборы аргументов, при которых функция F истинна.

Тогда первому столбцу соответствовала бы переменная y, а второму столбцу – переменная x. В ответе следовало бы написать: yx.