Для какого наименьшего целого числа G формула \(y & 42 ≠ 0\) ∨ \(y & 13 ≠ 0\) → \(\(y & 30 = 0\) → \(y & G ≠ 0\)) принимает значение 1 при любом неотрицательном целом значении переменной y?
a & F ─ поразрядная конъюнкция неотрицательных целых чисел a и F.
Например, 1410 & 510  =  011102 & 001012  =  001002  =  410.