Логические переменные: основы и примеры