OpenFIPI 2.0

15

3

40A245

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

 

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

 

((x & 52 ≠ 0) /\ (x & 36 = 0)) → ¬ (x & А = 0)

 

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