Задача #5743
Логические выражения
Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14&5 = 11102&01012 = 01002 = 4. Для какого наибольшего неотрицательного целого числа А формула
x&А≠0→((x&17=0∧x&5=0)→x&3≠0)
тождественно истинна (т.е. принимает значение 1 при любом неотрицательном целом значении переменной х)?
Войдите, чтобы история ответов и статистика сохранялись.
Решение
Ответ
23