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

\(w & D ≠ 0\) → \(\(w & 4 = 0 ∧ w & 19 = 0\) → \(w & 9 ≠ 0\))

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