5. Тип Boolean и Char.

Литерный тип состоит из конечного упорядоченного множества входных символов, имеющихся на вводных и выводных устройствах конкретной ЭВМ. Эти множества не обязаны совпадать для разных ЭВМ, но всегда должны содержать 26 латинских букв, 10 десятичных цифр и некоторое количество специальных литер, таких как пробел, запятая и другие знаки пунктуации.

Для обозначения константы литерного типа литеру заключают в апострофы. Например, 'A', '+', '5', '' , ' ? ', ''''.

Натуральное число, сопоставленное литере, служит кодом для внутреннего представления литеры в ВМ, его возвращает стандартная функция integer. Например, в силу свойств литерного типа имеем integer('Z')=integer('A')+25 и integer('9')=integer('0')+9. Имеется также стандартная функция chr, которая вычисляет литеру по ее коду и является обратной по отношению к функции integer, т.е. chr(integer(X))=X для любого литерного значения X и integer(chr(N))=N для любого целого числа N, для которого chr(N) определено.

Поскольку в типе char литеры упорядочены, для них определены бинарные операции отношения: = (равно), < (предшествует), <= (предшествует или равно), > (следует), >= (следует или равно), <> (неравно), каждая из которых вырабатывает логическое значение.

Логический тип (boolean)

Тип boolean состоит из двух логических значений, имеющих стандартные имена true (истина) и false (ложь).

Само название типа происходит от имени Дж.Буля заложившего основы алгебры логики.

A	B	A	A \/ B	A /\ B	A  B	A  B
0	0	1	0	0	1	1
0	1	1	1	0	1	0
1	0	0	1	0	0	0
1	1	0	1	1	1	1

В математике для логических значений обычно используются обозначения 1 (истина) и 0 (ложь рассматривается следующий набор функций: дизъюнкция -- \/ (или), конъюнкция -- /\ (и), отрицание --   (не), импликация --  (следует) и эквивалентность --  (тогда и только тогда). Эти функции можно задать следующей) и таблицей:
 

 Из этой таблицы можно вывести следующие законы (тавтологии) -- формулы, принимающие истинные значения при любых логических значениях, взятых в качестве A,B и C (а следовательно, и для любых утверждений (утверждение -- это некоторая функция, принимающая логические значения), взятых в качестве A,B и C):

6. Описательная часть программного блока.

Все переменные, используемые в программе должны быть описаны.

Описание начинается со служебного слова var .

program ff;

var

     i, n: integer; x,y,z: real;

     begin;

     .........

     end.

Список переменных от типа отделяется “:”, одно описание от другого – “;”, список переменных – “,”.  

Метки в программе описываются с помощью служебного слова:  label.

Константы : const.

Пользовательский тип данных:   type.