Тренировка решения задания 15 ЕГЭ (15.8)

Решение 15 задания:

Определите наименьшее натуральное число A из интервала [50, 100] такое, что выражение:

(((x & 56 ≠ 0) → (x & 18 ≠ 0)) ∨ (x & A ≠ 0)) → ((x & 18 = 0) ∧ (x & A = 0) ∧ (x & 43 ≠ 0))

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

Ответ: 57