Логические задачи: деревья вариантов и их решения