Это перечисляемый тип, который содержит только 2 элемента: TRUEи FALSE, поэтому логические переменные могут принимать только эти 2 значения. Для их хранения достаточно 1 байта.

Как для перечисляемого типа

FALSE< TRUEOrd(FALSE) = 0 Ord(TRUE) = 1 succ(FALSE) = TRUEpred(TRUE) = FALSE

Объявление переменных логического типа:

vara,b,c: boolean;

Тип ByteBoolэквивалентен типу boolean. WordBoolзанимает в памяти 2 байта, а LongBool- 4. Эти логические типы используются крайне редко.