Формулирование задач логического характера и применение средств математической логики для их решения.
Практическое занятие №3
Тема:Формулирование задач логического характера и применение средств математической логики для их решения.
Цель:научиться применять средства математической логики для решения задач логического характера.
Задание 1. Решить задачи:
2. Только один из подозреваемых участвовал в преступлении. Известно, что если Иванов не участвовал или Петров участвовал, то Сидоров участвовал; если Иванов не участвовал, то Сидоров не участвовал.Кто участвовал в преступлении?
4. Намечаются экскурсии в три города А, В и С. Руководитель фирмы сказал: «Неверно, что если будет экскурсия в город В, то не будет экскурсии в город С. Если будет экскурсия в город С, то не будет экскурсии в город А.» В какие города будет проводиться экскурсия?
6. В городе N кто-то угнал машину у градоначальника. Полиция задержала троих человек: Джона, Джека и Джо. Полиции было известно, что один из них - лжец, один - всегда говорит правду, а про третьего точно неизвестно, говорит ли он правду или ложь. Полиция также знала, что один из них угнал машину, и что этот человек всегда говорит правду. Кто угнал машину и кто лжец? Три человека сказали следующее:
· Джон: Я не виновен;
· Джек: Он говорит истинную правду;
· Джо: Я угнал машину.
На краю города образовалась новая улица из 8 домов, в которые вселилось 8 семей: механизатора Забалуева, электрика Байдакова, геолога Гулякова, высотника Морякина, конструктора Апухтина, строителя Жмыхова, мастера Шадрина и химика Авдеева. Жмыхову, Апухтину, Авдееву и Шадрину предоставлены дома на правой стороне улицы - с нечетными номерами (1,3, 5, 7), а остальным - с четными. Угадайте, кто, где поселился. Для подсказки небольшая информация:
На краю города образовалась новая улица из 8 домов, в которые вселилось 8 семей: механизатора Забалуева, электрика Байдакова, геолога Гулякова, высотника Морякина, конструктора Апухтина, строителя Жмыхова, мастера Шадрина и химика Авдеева. Жмыхову, Апухтину, Авдееву и Шадрину предоставлены дома на правой стороне улицы - с нечетными номерами (1,3, 5, 7), а остальным - с четными. Угадайте, кто, где поселился. Для подсказки небольшая информация:
