Задача #587
Логические выражения
(Д. Статный) Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». На числовой прямой даны три отрезка: P = [257, 356], Q = [5, 600] и R = [59, 228]. Какова наименьшая длина отрезка A, при котором формула
((x ∈ R) → (x ∈ A)) v ((ДЕЛ(x, 3) → (x ∈ P)) → ((x ∈ Q) → (x ∈ A)))
тождественно истинна, то есть принимает значение 1 при любом значении переменной х?
Войдите, чтобы история ответов и статистика сохранялись.
Решение
Ответ
168