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