Для какого наименьшего целого неотрицательного числа А выражение
(х + y ≤ A) \/ (2х + 3у > 30)
тождественно истинно при любых целых неотрицательных ¬х и ¬у ?