Электронная тетрадь Адлер Изабеллы: Логические функции. Формализация сложных выс