Задача. У Юли четыре подруги: Аня, Варя, Света и Даша. Она позвала всех их одновременно в гости. Не все они дружат между собой и известно, что:
— если Аня или Варя приедут, то Света не приедет;
— если Варя не приедет, то приедут Света и Даша;
— Света приедет.

Обозначим простые выражения с помощью переменных:
А — «Аня приедет»;
В — «Варя приедет»;
С — «Света приедет»;
D — «Даша приедет».

Выберите логическое выражение, соответствующее условию задачи.

• \(( A \vee B \to \bar{C} ) \wedge ( \bar{B} \to C \wedge D ) \wedge C\)
• \(( A \wedge B \to C ) \wedge ( B \to \bar{C} \wedge D ) \wedge C\)
• \(( A \vee B \to \bar{C} )\vee ( \bar{B} \to C \wedge D ) \vee C\)
• \(( A \vee B \vee \bar{C} ) \wedge ( B \to C \wedge D ) \wedge C\)