Логические основы компьютеров. Логические задачи

Содержание

Слайд 2

Метод рассуждений Задача 1. Министры иностранных дел России, США и Китая

Метод рассуждений

Задача 1. Министры иностранных дел России, США и Китая обсудили

за закрытыми дверями проекты договора, представленные каждой из стран. Отвечая затем на вопрос журналистов: «Чей именно проект был принят?», министры дали такие ответы:
Россия — «Проект не наш (1), проект не США (2)»;
США — «Проект не России (1), проект Китая (2)»;
Китай — «Проект не наш (1), проект России (2)».
Один из них оба раза говорил правду; второй – оба раза говорил неправду, третий один раз сказал правду, а другой раз — неправду. Кто что сказал?

проект России (?)


+



+

+

проект США (?)

+


проект Китая (?)

+


+

+

+

+

Слайд 3

Табличный метод Задача 2. Дочерей Василия Лоханкина зовут Даша, Анфиса и

Табличный метод

Задача 2. Дочерей Василия Лоханкина зовут Даша, Анфиса и Лариса.

У них разные профессии и они живут в разных городах: одна в Ростове, вторая – в Париже и третья – в Москве. Известно, что
Даша живет не в Париже, а Лариса – не в Ростове,
парижанка – не актриса,
в Ростове живет певица,
Лариса – не балерина.

0

0

0

0

1

0

0

0

1

0

0

1

1

0

1

0

0

1

Много вариантов.
Есть точные данные.

Слайд 4

Использование алгебры логики Задача 3. Следующие два высказывания истинны: 1. Неверно,

Использование алгебры логики

Задача 3. Следующие два высказывания истинны:
1. Неверно, что если

корабль A вышел в море, то корабль C – нет.
2. В море вышел корабль B или корабль C, но не оба вместе.
Определить, какие корабли вышли в море.

… если корабль A вышел в море, то корабль C – нет.

1. Неверно, что если корабль A вышел в море, то корабль C – нет.

2. В море вышел корабль B или корабль C, но не оба вместе.

Решение:

Слайд 5

Использование алгебры логики Задача 4. Когда сломался компьютер, его хозяин сказал

Использование алгебры логики

Задача 4. Когда сломался компьютер, его хозяин сказал «Память

не могла выйти из строя». Его сын предположил, что сгорел процессор, а винчестер исправен. Мастер по ремонту сказал, что с процессором все в порядке, а память неисправна. В результате оказалось, что двое из них сказали все верно, а третий – все неверно. Что же сломалось?

Решение:

A – неисправен процессор, B – память, C – винчестер

хозяин:

сын:

мастер:

Если ошибся хозяин:

Если ошибся сын:

Если ошибся мастер:

В общем случае:

Слайд 6

Использование алгебры логики Задача 5. На вопрос «Кто из твоих учеников

Использование алгебры логики

Задача 5. На вопрос «Кто из твоих учеников изучал

логику?» учитель ответил: «Если логику изучал Андрей, то изучал и Борис. Однако неверно, что если изучал Семен, то изучал и Борис». Кто же изучал логику?

Решение:

A – логику изучал Андрей, B – Борис, C – Семен

«Если логику изучал Андрей, то изучал и Борис».

1 способ:

«Неверно, что если изучал Семен, то изучал и Борис».

Слайд 7

Использование алгебры логики Задача 5. На вопрос «Кто из твоих учеников

Использование алгебры логики

Задача 5. На вопрос «Кто из твоих учеников изучал

логику?» учитель ответил: «Если логику изучал Андрей, то изучал и Борис. Однако неверно, что если изучал Семен, то изучал и Борис». Кто же изучал логику?

Решение:

A – логику изучал Андрей, B – Борис, C – Семен

«Если логику изучал Андрей, то изучал и Борис».

2 способ:

«Неверно, что если изучал Семен, то изучал и Борис».

Слайд 8

Использование алгебры логики Задача 6. Суд присяжных пришел к таким выводам:

Использование алгебры логики

Задача 6. Суд присяжных пришел к таким выводам:
если Аськин

не виновен или Баськин виновен, то виновен Сенькин
если Аськин не виновен, то Сенькин не виновен
Виновен ли Аськин?

Решение:

A – виновен Аськин, B – Баськин, C – Сенькин

«Если Аськин не виновен или Баськин виновен, то виновен Сенькин».

«Если Аськин не виновен, то Сенькин не виновен».

Аськин виновен

Слайд 9

Использование алгебры логики Задача 6б. Суд присяжных пришел к таким выводам:

Использование алгебры логики

Задача 6б. Суд присяжных пришел к таким выводам:
если Аськин

не виновен или Баськин виновен, то виновен Сенькин
если Аськин не виновен, то Сенькин не виновен
Виновен ли Баськин?

Решение:

A – виновен Аськин, B – Баськин, C – Сенькин

Не получили противоречия: возможно, что и виновен

Слайд 10

Использование алгебры логики Задача 6в. Суд присяжных пришел к таким выводам:

Использование алгебры логики

Задача 6в. Суд присяжных пришел к таким выводам:
если Аськин

не виновен или Баськин виновен, то виновен Сенькин
если Аськин не виновен, то Сенькин не виновен
Виновен ли Сенькин?

Решение:

A – виновен Аськин, B – Баськин, C – Сенькин

Не получили противоречия: возможно, что и виновен