7EE775

Отправлено 29 нояб. 2017 г., 11:46 пользователем Галкин Ярослав С.

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

 

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

 

x&А ≠ 0 → ((x&17 = 0 /\ x&5 = 0)→ x&3 ≠ 0)

 

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

Comments