📑ЗАДАЧА
Назовите имя одного из 10 сотрудников отдела,
испортившего отчёт на столе для совещаний.
Для поиска решения оцените результаты опроса,
в котором 6 из 10 ответов оказались правдой.
Лина: "Отчёт испортил Влад".
Влад: "Нет, это сделал Иван".
Иван: "Отчёт испортила женщина".
Мари: "Это я виновата".
Анна: "Мари этого не делала".
Каролина: "Отчёт испортили или Анна, или Мари".
Лара: "Скорее всего, Джим это и сделал".
Моника: "Джим не портил документ".
Кристина: "Анна повредила отчет".
Джим: "Влад точно не портил документ".
📑РЕШЕНИЕ
Обозначим логические высказывания, учитывая,
что документ повредил один из сотрудников
и что названы только 5 из всех имён.
"Отчёт испортил Влад" - V
"Влад точно не портил документ" - ¬V
"Нет, это сделал Иван" - I
"Это я виновата" (сказала Мари) - M
"Мари этого не делала" - ¬M
"Скорее всего, Джим это и сделал" - J
"Джим не портил документ" - ¬J
"Анна повредила отчет" - A
"Отчёт испортили или Анна, или Мари" - A|M
"Отчёт испортила женщина"
(этого не делал ни один из мужчин: ни Иван, ни Влад, ни Джим) - ¬V & ¬I & ¬J
Составим таблицу истинности.
Строк будет всего 5 в соответствии с количеством имён в опросе.
Если для кого-то из сотрудников в таблице стоит значение 1
(то есть это сделал он или она),
то для остальных в этой строке мы ставим 0
(значит другие этого не делали).
Значения остальных переменных заполняем в соответствии
с законами логических операций.
V I J M A ¬V ¬J ¬M A|M ¬V & ¬I & ¬J Итого
1 0 0 0 0 0 1 1 0 0 3
0 1 0 0 0 1 1 1 0 0 4
0 0 1 0 0 1 0 1 0 0 3
0 0 0 1 0 1 1 0 1 1 5
0 0 0 0 1 1 1 1 1 1 6
6 истинных высказываний мы видим только в последней строке.
Вывод: отчёт испортила Анна.
📑ОТВЕТ: Анна.
