Algoritmos y Programación en Pascal

3.5. El tipo boolean 37
Son internas (convierten valores lógicos en valores lógicos):
not : B −→ B
and : B × B −→ B
or : B × B −→ B
y su funcionamiento viene dado por la siguiente tabla de verdad:
A B A and B A or B not A
False False False False True
False True False True True
True False False True False
True True True True False
Además, se tienen predefinidas las funciones sucesor, predecesor y orden, que
operan como sigue:
Operadores relacionales
Succ(False) ❀ True
Pred(True) ❀ False
Ord(False) ❀ 0
Ord(True) ❀ 1
Son las operaciones binarias de comparación siguientes:
= igual
distinto
< menor
mayor
>= mayor o igual
Estas operaciones están sobrecargadas: permiten la comparación entre dos
valores de cualquiera de los tipos básicos, resultando de ello un valor lógico:
Es decir, si representamos los cuatro tipos introducidos mediante Z, R, C y B
respectivamente, se tiene
>= : Z × Z −→ B
>= : R × R −→ B
>= : C × C −→ B
>= : B × B −→ B
para cada una de las operaciones relacionales.