Программирование на Паскале: логические типы данных