Div - целая часть от деления
Mod - остаток от деления.
(a mod 2 = 1) and (b mod 4 = 1)
A делённое на 2 до тех пор, пока остаток будет равным 1, то истинна и если B делённое на 4 до тех пор, пока остаток будет равным 1, то оно тоже истинно.
Подставим переменные и получим: (5 mod 2 = 1) и (b mod 4 = 1)
ответ: истинна.
not (a+b > c)
Так как Not - логическое отрицание, то (a+b < c)
Подставим переменные и получим: (5+9 < 0)
ответ: ложь.
(abs(a) = a) and (-b > -a)
abs(a) - возращает модуль числа A.
Подставим переменные и получим: (5 = 5) и (-9 > -5)
ответ: ложь.
not (a >= b)
Будет (a <= b)
Подставим переменные и получим: (5 <= 9)
ответ: истинна.
(c <> 0) or (sqrt(b) = a-2)
sqrt(b) - квадратный корень из числа B.
Подставим переменные и получим: (0 <> 0) или (3 = 5-2)
(b > sqr(a)) or (b div a >= 1)
Подставим переменные и получим: (9 > 2,24) или (9 div 5 >= 1)
ответ: истинна.
===== PascalABC.NET =====
function ЧислоВторыхМаксимумов(a: array of integer) :=
a.GroupBy(p -> p) // сгруппировали одинаковые
.Select(p -> (p.Count, p.Key)) // создали кортежи (кол, значение)
.OrderByDescending(p -> p[1]) // отсортировали по убыванию значений
.Skip(1) // пропустили первый элемент
.Take(1) // взяли только второй элемент
.Select(p -> p[0]); // выделили из кортежа количество
begin
var n:=ReadInteger('n ='); // длина массива
var a:=ArrRandom(n, 1, 10); // инициализируем массив
a.Println; // выводим его
ЧислоВторыхМаксимумов(a).Println // вызываем функцию, выводим результат
end.