уберите из каждого слагаемого две цифры, чтобы получилась самая большая сумма.

Имеются пятизначные слагаемые. Если в каждом пятизначном числе  убрать по две цифры, мы получим сумму трёх трёхзначных чисел. Чтобы сумма полученных трёхзначных чисел была наибольшая, необходимо, чтобы каждое число было наибольшим из возможных. А для этого нужно, чтобы число сотен, десятков и единиц в каждом числе было наибольшим.

Так, в первом числа 95571 убираем цифры 5 и 1, получаем 957. Это наибольшее из всех трёхзначных чисел, которое можно получить из данного пятизначного числа.

Подобным образом из числа 49134 убираем первую цифру 4 и цифру 1, получаем число 934.

Их числа 23627 убираем первую двойку и цифру 3. Получаем число 627.

Итак, полученная сумма 957+934+627=2518 будет наибольшей из возможных.

ответ: 2518 - наибольшая сумма

Хорошо, вам не объяснили толково что такое вообще математическая логика, но это на самом деле нормальный случай, сами дают и не знают, что дают.
Давайте разберемся.
Пусть некоторое A - утверждение. Будем называть утверждением некоторое предположение, которое характеризуется либо как истинное и тогда утверждение равняется единице, либо как ложное и тогда утверждение равняется нулю.
В данном случае за утверждение принимается:
A - предположение, говорящее, что Первая буква гласная.
B - предположение, говорящее, что Последняя буква согласная.
Немного об операциях в т.н. алгебре логики (термин сложный и его нужно разъяснять отдельно, делается это в курсе т.н. "высшей алгебры").
Это сложение (известное также как объединение в теории множеств) и умножение (пересечение). Здесь их называют логическое "ИЛИ" (дизъюнкция) и логическое "И" (конъюнкция). Раз уж речь идет об алгебре, то, конечно, имеем также логическое "НЕ". По аналогии с теорией множеств, это дополнение к какому-то операнду (а суть унарная операция, интересная вещь).
Давайте запишем как нужно само выражение.
-A∧-B (вместо минусов нужно черточку над буквой).
Таблица истинности выглядит так:
В наименованиях столбцов пишите A и B и ваше выражение третьим.
Затем подставляете различные наборы значение A и B, A и B принимают только значения 0 и 1. Получаете соответственно 0 или 1.
"НЕ" - значит, утверждение обращается - было 1, стало 0, и наоборот.
"И" - дает 1 если оба операнда 1, иначе дает 0.
"ИЛИ" - дает 0 если оба операнда 0, иначе дает 1.
Вот и все. Заполняете и получаете нужное.

1)Все жители не могут быть лгунами, иначе  каждый из них сказал бы правду(противоречит условию).

2)Возьмем случайного рыцаря. Из утверждения вытекает, что лжецов на острове больше, чем (2015−1)\2=1007, то есть не менее 1007 лжецов.

3)Возьмем случайного лжеца. Его заявление ложно,т.к. кроме него не более половины жителей острова — лжецы. получается,  что кроме него на острове не более 2014\2=1007 лжецов (то есть не более 1007), т.е. вместе с ним лжецов не более 1007.

 4)из 2) и 3) следует, что: единственный вариант - это  когда на острове ровно 1007 лжецов.