Для анализа задачи давайте переведем условия в логические выражения: 1. Если Аня и Варя приедут, то Света не приедет: A ∧ B → ¬C. 2. Если Варя не приедет, то приедут Света и Даша: ¬B → C ∧ D. 3. Света приедет: C. Решим задачу. Условия задачи требуют выполнения утверждений 1, 2 и 3. Составим итоговое логическое выражение: (A ∧ B → ¬C) ∧ (¬B → C ∧ D) ∧ C.