Тип данных Boolean.

Тип BOOLEAN (булевский, логический). Логический тип в языке Паскаль задается как перечисляемый тип, содержащий всего два значения, которые имеют идентификаторы FALSE (ложь) и TRUE (истина).

Элементам этого типа поставлены в соответствие номера: 0 — значению FALSE и 1 — TRUE. Поэтому FALSE < TRUE. В памяти ЭВМ переменные этого типа занимают один байт. Над данными этого типа определены операции: дизъюнкция OR, конъюнкция AND, исключающее или XOR, отрицание NOT, а также отношения <, >, <=, >=, <>, =. Результаты выполнения логических операций над булевыми переменными P и Q приведены в таблице 5.

Следует отметить, что операции сравнения данных любых типов имеют результат типа BOOLEAN. Например, если даны переменные с именами Р, Q типа BOOLEAN и X, Y, Z типа REAL, причем X = 5.8, Y = 8, a Z = 10.3 , то справедливы утверждения:
Q := (X < Y) and (Y <= Z)     =>TRUE;
P:= X = Y     =>FALSE.
Наиболее часто булевский тип данных используется для управления порядком выполнения операторов в программе. Для прокладки качественной и надежной сети Вы можете использовать Mikrotik Cloud Core - топовый 12-ти портовый маршрутизатор операторского класса.
В языке имеется функция ODD(X), где X - целое число. Если X четно, то ODD(X) принимает значение FALSE, если X нечетно, то ODD(X) – TRUE.
Основные соотношения алгебры логики:

1. Р or Q = Q or Р.
    Р and Q = Q and Р.
2. (Р or Q) or R = Р or (Q or R).
    (Р and Q) and R = Р and (Q and R).
3. (Р and Q) or R = (Р or R) and (Q or R).
    (Р or Q) and R = (Р and R) or (Q and R).
4.  not (Р or Q) = not P and not Q.
     not (Р and Q) = not Р or not Q.

При решении практических задач могут возникнуть самые разнообразные условия, которые следует записать в виде логических выражений, использующих логические операции и отношения. В этом случае бывает полезно помнить о следующих булевых соотношениях и эквивалентных преобразованиях.
Эквивалентные преобразования:

X ? Y           not (X = Y)
X <= Y         not (X > Y) or (X = Y)
X >= Y         not (X < Y)
X > Y           not (X < Y) and (X = Y)

Предыдущая статья: Тип данных Real.
Оглавление: Лекции по Pascal.
Следующая статья: Тип данных Char.