ID: 15.30025 • Источник: СтатГрад 14.02.2023 • Сложность: basic

Задание №15

Поразрядная конъюнкция
Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Например, 14&5 = 11102&01012 = 01002 = 4.
Для какого наименьшего неотрицательного целого числа А формула
((x&35 ≠ 0) ∨ (x&22 ≠ 0)) → ((x&15 = 0) → (x&А ≠ 0))
тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной х)?