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

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