Данное выражение истинно тогда и только тогда, когда истинно хотя бы одно из следующих выражений: или (*); Важно понимать, что последнее выражение невозможно сделать истинным при любых переменных. Действительно, всегда можно выбрать ; Поскольку , то можно выбрать и гарантированно обеспечить ложность последнего выражения. Тогда ; Значит A хотя бы 11, все меньшие значения опровергаются значением ; Докажем, что подходит: в силу имеем - это выражение верно, а, значит, верно и все выражение (при любых переменных), благодаря (*).