Ответ:

НЕ (x < 45) означает, что x ≥ 45. НЕ (в числе x нет одинаковых цифр) означает, что в записи x есть одинаковые цифры.

Первое число не меньше 45 с повторяющимися цифрами — 55: числа 45–54 либо меньше 45, либо состоят из разных цифр.

Ответ: 55.