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