Pascal - Логические операции

[Impulsive]

Помогите решить:
Вырожение
(False<True)and(Ord(Pred(True))=0)
Не пойму что такое Ord? Pred?
Знаю что Ord - поряд.номер
Pred - пред. значение. А смысл в чем?

[BBB]

Булевский тип в Паскале - это что-то вроде перечислимого типа (а, можкт, и без "вроде"... этот нюанс теории плохо помню):

type Boolean = (FALSE, TRUE);

Таким образом, FALSE меньше, чем TRUE.
Pred (TRUE) равно FALSE.
А (как верно замечено, Ord - порядковый номер) Ord (FALSE) равно 0 (нулю).

Таким образиом, вычисляя:
(False<True)and(Ord(Pred(True)))=0

получим:

(False<True)and(Ord(Pred(True)))=0 =>
(True) and (Ord(False))=0 =>
(True) and (0)=0 =>
(True) and True =>
True

[Impulsive]

Короче сеня был утром зачет - СДАЛ

код:
program bul3;

var
y:boolean;
begin

writeln('gaHHoe BbIpa}|{eHue (false<true) and (ord(pred(true))=0)');
y:=(false<true) and (ord(pred(true))=0);
writeln('umeeT 3Ha4eHue ',y);

readln;
end.


ВВВ - Спасиб тебе за то что не оставил мою прозьбу! Большое тебе уважение и респект!