Е15.43 формула (x&35 ≠ 0 ∨ x&22 ≠ 0) → (x&15 = 0 → x&А ≠ 0) тождественно истинна

Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Например, 14&5 = 11102&01012 = 01002 = 4.
Для какого наименьшего неотрицательного целого числа А формула

(x&35 ≠ 0 ∨ x&22 ≠ 0) → (x&15 = 0 → x&А ≠ 0)

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

Ответ:

 

СтатГрад Вариант ИН22110301 14.02.2023 – задание №15