№496855082

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

(x + y ≤ 15) → ((4x + y < A) → ((x > 6) ∧ ¬(y + 3x < A)))

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