Question

Здравствуйте, нужно подробное решение, если можно

Answer 1

Данное выражение истинно тогда и только тогда, когда истинно хотя бы одно из следующих выражений: $xy+A>10$ или $(x<25)vee(A<y)$ (*); Важно понимать, что последнее выражение невозможно сделать истинным при любых переменных. Действительно, всегда можно выбрать $y=A$; Поскольку $ygeq 0$, то можно выбрать $y=0$ и гарантированно обеспечить ложность последнего выражения. Тогда $xtimes0+A>10 Leftrightarrow A>10$; Значит A хотя бы 11, все меньшие значения опровергаются значением $y=0$; Докажем, что $A=11$ подходит: в силу $xygeq 0$ имеем $xy+Ageq 11>10$ - это выражение верно, а, значит, верно и все выражение (при любых переменных), благодаря (*).