Запишите наибольшее число x, для которого истинно высказывание:
НЕ (x > 20) И (x – нечётное).

Логическое «И» ложно тогда, когда ложно одно из высказываний. Запишем выражение в виде

(X =< 20) И (X чётное).

Значит, наименьшее число, для которого высказывание будет истинным — 20.