Законы математической логики

Определите наибольшее натуральное число A, при котором выражение

( x & 30 ≠ 4) ∨ ((x & 35 = 1) → (x & A = 0))

тождественно истинно (то есть принимает значение 1 при любом натуральном значении переменной x)?