Семья, состоящая из отца A, матери B и трех дочерей C, D, E, купила

Семья, состоящая из отца A, матери B и трех дочерей C, D, E, купила телевизор. Условились, что в первый вечер будут смотреть передачи в таком порядке: Когда отец A смотрит передачу, то мать B делает то же. Дочери D и E, обе или одна из них, смотрят передачу. Из двух членов семьи — мать B и дочь C – смотрят передачу одна и только одна. Дочери C и D или обе смотрят, или обе не смотрят. Если дочь E смотрит передачу, то отец A и дочь D делают то же. Кто из членов семьи в этот вечер смотрел передачу?

Обозначим следующие выражения:
A=A смотрит передачу, B=B смотрит передачу, С=C смотрит передачу, D=D смотрит передачу, E={ E смотрит передачу}
Тогда утверждения примут следующий вид:
(1) A→B
(2) (D∧E)∨(D∧E)∨(D∧E)
(3) (B∧C)∨(B∧C)
(4) (C∧D)∨(C∧D)
(5) E→(A∧D)
Введем вспомогательные выражения для составления таблицы:
6 D∧E ;7 D∧E;8 D∧E
9 B∧C;10 B∧C
11 C∧D; 12 C∧D
13 A∧D
Составим таблицу истинности для данных четырех утверждений:
A
B
C
D
E
(1) (6) (7) (8) (2) (9) (10) (3) (11) (12) (4) (13) (5)
0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1
0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0
0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1
0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0
0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1
0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0
0 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 1
0 0 1 1 1 1 0 0 1 1 0 1 1 1 0 1 0 0
0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1
0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0
0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1
0 1 0 1 1 1 0 0 1 1 1 0 1 0 0 0 0 0
0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1
0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0
0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1
0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 0
1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1
1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0
1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1
1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1
1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1
1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0
1 0 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 1
1 0 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1
1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1
1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0
1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1
1 1 0 1 1 1 0 0 1 1 1 0 1 0 0 0 1 1
1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1
1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0
1 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 1
1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1
Утверждения верны только на наборе 0,0,1, 1 ,0