алгебра высказываний

[Sverest]

Семья, состоящая из отца $A$, матери $B$, дочерей $C,~D,~E,$ купила телевизор.
Условились, что в первый вечер будут смотреть в таком порядке:

Когда отец $A$ смотрит передачу, то мать $B$ делает то же. $A \to B$

Дочери $D,~E$, обе или одна из них, смотрят передачу. $DE \vee D \vee E$

Из двух членов семьи - мать $B$ и дочь $C$ смотрят передачу одна и только одна
$\overline{B}C \vee B\overline{C}$

Дочери $C$ и $D$ или обе смотрят, или обе не смотрят $CD \vee \overline{C}~\overline{D}$

Если дочь $E$ смотрит передачу, то отец $A$ и дочь $D$ делают тоже $E \to AD$

Кто из членов семьи в этот вечер смотрит передачу?

Я правильно изобразил в виде формул?

[cyb12]

Правильно.
Ну разве что можно упростить $DE\vee D\vee E = D \vee E$

(Оффтоп)

Однако, наверное, более формально что ли сказать, что такое $A$ и проч. построже. Ну то есть $A\to B$ у вас означает, что из отца следует мать