Логічний тип. Алгоритми і програми з розгалуженнями