Задание

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

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

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