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

\(y & 47 = 0\) ∨ \(\(y & 13 = 0\) → ¬\(y & D = 0\))

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