OpenFIPI 2.0

15

3

B2DA48

Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14&5 = 1110₂&0101₂ = 0100₂ = 4.

 

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

 

x&А ≠ 0 → (x&12 = 0 → x& 5≠ 0)

 

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