Семья состоящая из отца A матери B и трех дочерей C
.pdf
Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥
Семья, состоящая из отца A, матери B и трех дочерей C, D, E, купила телевизор. Условились, что в первый вечер будут смотреть передачи в таком порядке:
Когда отец A смотрит передачу, то мать B делает то же.
Дочери D и E, обе или одна из них, смотрят передачу.
Из двух членов семьи — мать B и дочь C – смотрят передачу одна и только одна.
Дочери C и D или обе смотрят, или обе не смотрят.
Если дочь E смотрит передачу, то отец A и дочь D делают то же.
Кто из членов семьи в этот вечер смотрел передачу?
Нужно полное решение этой работы?
Ответ
C и 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