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

\( x & 40 ≠0 \\/ x & 27 ≠0 \) → \(x & 24 = 0 → x & А ≠ 0\)

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