Преобразование логических выражений — задача ЕГЭ по информатике
Условие, ответ и разбор задачи
Преобразование логических выраженийФИПИ КЭС 2.7ФИПИ
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m»; и пусть на числовой прямой дан отрезок B = [40; 50].
Для какого наибольшего натурального числа А формула
ДЕЛ(x, A) ∨ ((x ∈ B) → ¬ДЕЛ(x, 11))
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной х?
Ответ:
Похожие задачи
- Преобразование логических выраженийОбозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14&5 = & = = 4. Для какого наименьшего неотрицательного…
- Преобразование логических выраженийНа числовой прямой даны два отрезка: P = [30, 65] и Q = [10, 35]. Отрезок A таков, что формула ¬(x ∈ A) → ((x ∈ P) →¬ (x ∈ Q)) истинна при любом значении переменной x. Какова…
- Преобразование логических выраженийНа числовой прямой даны два отрезка: D = [15; 40] и C = [21; 63]. Укажите наименьшую возможную длину такого отрезка A, что формула (x ∈ D) → ((¬(x ∈ C) ∧ ¬(x ∈ A)) → ¬(x ∈ D))…
- Преобразование логических выраженийНа числовой прямой даны два отрезка: P = [20, 50] и Q = [30,65]. Отрезок A таков, что формула ¬(x ∈ A) → ((x ∈ P) →¬ (x ∈ Q)) истинна при любом значении переменной x. Какова…
- Преобразование логических выраженийОбозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14&5 = & = = 4. Для какого наибольшего неотрицательного…
- Преобразование логических выраженийОбозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14&5 = & = = 4. Для какого наименьшего неотрицательного…