Для какого наибольшего целого числа A формула ((x − 10 < A) → (y + 28 ≥ 4A)) ∨ (x + y ≠ 17) тождественно истинна, т. е. принимает значение 1 при любых положительных значениях переменных x и y?
7
12
9
6