Задача к ЕГЭ по информатике на тему «преобразование логических выражений» №1

Для какого наибольшего целого неотрицательного числа $A$ выражение

$( ) √19x3 + 11y+ √11z-> A ∨(z < 11) ∨(y ≤ 8) ∨(x ≤ 18) 6$

тождественно истинно при любых целых неотрицательных $x,y$ и $z$ ?

Враги хотят, чтобы выражение было ложно. Система для врагов:

Чтобы увеличить свои шансы на победы, врагам выгодно взять наименьшие x, y, z, то есть x = 19, y = 9, z = 11. Друзья хотят, чтобы Тогда наибольшее . Ответ: 388