Для какого наименьшего неотрицательного целого числа D формула
(z & 31 ≠ 0) → ((z & 9 = 0) → (z & D ≠ 0))
тождественно истинна, то есть принимает значение 1 при любом неотрицательном целом значении переменной z?