Задание

Для какого наибольшего целого числа G формула (y & G ≠ 0) → (((y & 17 = 0) ∧ (y & 5 = 0)) → (y & 3 ≠ 0)) принимает значение 1 при любом неотрицательном целом значении переменной y?

a & F ─ поразрядная конъюнкция неотрицательных целых чисел a и F.

Например, 1410 & 510  =  011102 & 001012  =  001002  =  410.