Теория:

Как известно, величины логического типа принимают всего два значения; в Паскале это \(false\) и \(true\). Эти константы определены так, что false < true. Логические значения получаются в результате выполнения операций сравнения числовых, символьных, строковых и логических выражений. Поэтому в Паскале логической переменной можно присваивать результат операции сравнения.
Пример:
Напишем программу, определяющую истинность высказывания «Число \(n\) является чётным» для произвольного целого числа \(n\).
Пусть \(ans\) — логическая переменная, а \(n\) — целая переменная.
Тогда в результате выполнения оператора присваивания
ans:=n mod 2 = 0
переменной \(ans\) будет присвоено значение \(true\) при любом чётном \(n\) и \(false\) в противном случае.

6.png
Логическим переменным можно присваивать значения логических выражений, построенных с помощью известных вам логических функций и, или, не, которые в Паскале обозначаются соответственно and, or, not.
Пример:
Напишем программу, определяющую истинность высказывания «Треугольник с длинами сторон \(a, b,c\) является равнобедренным» для произвольных целых чисел \(a,b,c\).
 
8.png
Источники:
Босова Л. Л., Босова А. Ю., Информатика: учебник для 8 класса. М. : БИНОМ. Лаборатория знаний, 123 с.