Такие задачи решаются с кругов Эйлера. Множества - это круги (множества "Бабочка", "Трактор" и "Гусеница" в данном случае). & (логическое "и") означает пересечение кругов (например, в данной задаче пересечение множеств "Трактор" и "Гусеница" равно 160; если пересечение равно 0, то множества не пересекаются). / (логическое "или") означает сумму множеств (например, "Трактор" и "Бабочка" и "Гусеница" - это сумма составляющих всех трёх множеств).