К содержанию
К списку задач

ЕГЭ 15 · Законы математической логики

Законы математической логики

(А. Богданов) Обозначим через ДЕЛ(n,m) утверждение «натуральное число n делится без остатка на натуральное число m». Q=[29;47].

Для какого наименьшего натурального числа А формула

( ¬ДЕЛ(x, 3) ∧ x ∉ {48, 52, 56} ) → (( |x – 50| ⩽ 7) → ( x in Q )) ∨ (x & A = 0)

тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)?

Запишите ответ в формате, указанном в условии.