Для какого наибольшего целого числа 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.