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

\(z & 31 ≠ 0\) → \(\(z & 9 = 0\) → \(z & D ≠ 0\))

тождественно истинна, то есть принимает значение 1 при любом неотрицательном целом значении переменной z?