ЭЛЕМЕНТЫ АЛГЕРЫ ЛОГИКИ МАТЕМАТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ. - презентация

1 ЭЛЕМЕНТЫ АЛГЕРЫ ЛОГИКИ МАТЕМАТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ

2 Ключевые слова алгебра логики высказывание логическая операция конъюнкция дизъюнкция отрицание логическое выражение таблица истинности законы логики

3 Задача. Коля, Вася и Серёжа гостили летом у бабушки. Однажды один из мальчиков нечаянно разбил любимую бабушкину вазу. Решение логических задач На вопрос, кто разбил вазу, они дали такие ответы: Серёжа: 1) Я не разбивал. 2) Вася не разбивал. Вася: 3) Серёжа не разбивал. 4) Вазу разбил Коля. Коля: 5) Я не разбивал. 6) Вазу разбил Серёжа. Бабушка знала, что один из её внуков (правдивый), оба раза сказал правду; второй (шутник) оба раза сказал неправду; третий (хитрец) один раз сказал правду, а другой раз - неправду. Назовите имена правдивого, шутника и хитреца. Кто из внуков разбил вазу?

4 KBCУтверждение Серёжи Утверждение Васи Утверждение Коли KC СВКС Решение. Пусть К =«Коля разбил вазу», В =«Вася разбил вазу», С =«Серёжа разбил вазу». Представим в таблице истинности высказывания каждого мальчика. Так как ваза разбита одним внуком, составим не всю таблицу, а только её фрагмент, содержащий наборы входных переменных: 001, 010, 100. Исходя из того, что знает о внуках бабушка, следует искать в таблице строки, содержащие в каком-либо порядке три комбинации значений: 00, 11, 01 (или 10). Это вторая строка. Вазу разбил Серёжа, он - хитрец. Шутником оказался Вася. Имя правдивого внука - Коля.

5 Источники информации b892beca45/?interface=catalog&class=51&subject=19 – Элементарные логические операции 88b892beca45/?interface=catalog&class=51&subject= jpg - Аристотель jpg 3. g - Аристотель g 4. g - Джордж Буль g Клод Элвуд Шеннон мальчик 1http://mdou-teremok.moy.su/kartinki/ab2a40ef409a-1-.png 7. boys.jpg%3Fw%3D283%26h%3D494 – мальчик 2http://falconsscience.files.wordpress.com/2007/10/cartoon- boys.jpg%3Fw%3D283%26h%3D мальчик 3http://s39.radikal.ru/i085/0811/f0/e7c004f3c68a.png