Задание

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

— если Аня или Варя приедут, то Света не приедет;

— если Варя не приедет, то приедут Света и Даша;

— Света приедет.

Обозначим простые выражения с помощью переменных:

А — «Аня приедет»;

В — «Варя приедет»;

С — «Света приедет»;

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\)