3.3.4. Логический тип данных

Как известно, величины логического типа принимают всего два значения; в Паскале это false и true. Эти константы определены так,что false < true.

Логические значения получаются в результате выполнения операций сравнения числовых, символьных, строковых и логических выражений. Поэтому в Паскале логической переменной можно присваивать результат операции сравнения.

Пример. Напишем программу, определяющую истинность высказывания «Число n является чётным» для произвольного целого числа n.

Пусть ans — логическая переменная, а n — целая переменная. Тогда в результате выполнения оператора присваивания

ans:=n mod 2 = 0

переменной ans будет присвоено значение true при любом чётном n и false в противном случае.

program n_б;
var n: integer; ans: boolean;
begin
writeln ('Определение истинности высказывания
о чётности числа');
write ('Введите исходное число>>');
readln (п);
ans:=n mod 2=0;
writeln ('Число ', n, ' является чётным - ', ans)
end.

Логическим переменным можно присваивать значения логических выражений, построенных с помощью известных вам логических функций и, или, не, которые в Паскале обозначаются соответственно and, or, not.

Пример. Напишем программу, определяющую истинность выска зывания «Треугольник с длинами сторон а, b, с является равнобед ренным» для произвольных целых чисел а, b, с.

program n_7;
var a, b, с: integer; ans: boolean;
begin
writeln ('Определение истинности высказывания
о равнобедренном треугольнике');
write ('Введите значения а, b, с>>');
readln (а, b, с);
ans:=(a=b) or (а=с) or (b=c);
writeln ('Треугольник с длинами сторон ', а, ', ',
b, ', ', с, ' является равнобедренным - ', ans)
end.