Алгоритм поиска наибольшего натурального числа, удовлетворяющего логическому выражению, работает следующим образом: 15

1. С помощью цикла перебирают натуральные числа в заданном диапазоне. 15
2. Для каждого перебираемого числа устанавливают счётчик в ноль. 15
3. Затем перебирают все числа в том же диапазоне для переменных, которые входят в логическое выражение. 15
4. Если логическое выражение срабатывает при каждом значении переменных, то считается, что перебираемое число подходит. 15
5. По окончании вложенных циклов счётчик будет содержать значение, которое указывает на то, что наибольшее натуральное число, удовлетворяющее данному логическому выражению, найдено. 15