ݺߣ

ݺߣShare a Scribd company logo
Решение логических задач
page 204/01/16 Presentation
Задача №12
Один из 3 братьев поставил на скатерть кляксу.
- Кто запачкал скатерть? - спросила бабушка.
- Витя не ставил кляксу, - сказал Алеша, - Это сделал Боря.
- Ну а ты что скажешь? - спросила бабушка Борю.
- Это Витя поставил кляксу,- сказал Боря,- А Алеша не
пачкал скатерть.
- Так я и знала, что вы друг на друга сваливать будете, -
рассердилась бабушка. - Ну а каков твой ответ? -
спросила она Витю.
- Не сердись бабуля! Я знаю, что Боря не мог этого
сделать. А я сегодня не готовил уроков. - сказал Витя.
Оказалось, что двое мальчиков в каждом из двух своих
заявлений сказали правду, а один оба раза сказал
неправду. Кто поставил на скатерть кляксу?
33группагруппазадачзадач
page 304/01/16 Presentation
Задача №12 (решение)
Введем буквенные обозначения: V-Витя, B-Боря, A-Алеша.
Высказывание каждого мальчика о том, кто поставил кляксу можно
задать формулами:
(1)
(2)
По условию задачи, двое мальчиков оба раза сказали правду, а 1
мальчик оба раза сказал неправду. Поэтому среди записанных нами
3 формул две истинны, а одна ложна. Мы не знаем, какая именно
формула ложна. Но мы утверждаем, что если из этих формул
образовать попарные дизъюнкции, то поскольку в каждую
дизъюнкцию будут входит по крайней мере одна истинная формула,
эти дизъюнкции будут истинными. Образуем их.
(4) (5)
Ответ: , кляксу поставил Витя.
1≡⋅ BV
1≡⋅ AV
1≡B (3)
1≡⋅+⋅ AVBV 1≡+⋅ BAV
1≡+⋅ BBV (6)
BAV ⋅⋅
page 404/01/16 Presentation
Задача №15.
В одном королевстве были незамужние принцессы,
голодные тигры к приговоренный к казни узник. Но
король всякому узнику, осужденному на смерть,
давал последний шанс спастись. Ему предлагалось
угадать, в какой из двух комнат находится тигр, а в
какой принцесса. Хотя вполне могло быть, что
король в обеих комнатах разместил принцесс или,
что хуже, в обеих тигров. Выбор надо было сделать
на основании табличек на дверях комнат. Причем,
узнику было известно, что утверждения на
табличках либо оба истинны, либо оба ложны.
Надписи гласили:
Первая комната: «По крайней мере в одной из этих
комнат находится принцесса».
Вторая комната: «Тигр в другой комнате».
33группагруппазадачзадач
page 504/01/16 Presentation
Табличный способ решения логической задачи
page 604/01/16 Presentation
http://www.infojournal.ru
"Информатика в школе":
5/2005 - "Сборник программ элективных курсов по
информатике"
6/2005 - "Логические задачи как форма контроля знаний"
7/2005 - "Программирование игр на уроках информатики"
8/2005 - "Информатика в начальной школе"
page 604/01/16 Presentation
http://www.infojournal.ru
"Информатика в школе":
5/2005 - "Сборник программ элективных курсов по
информатике"
6/2005 - "Логические задачи как форма контроля знаний"
7/2005 - "Программирование игр на уроках информатики"
8/2005 - "Информатика в начальной школе"

More Related Content

Viewers also liked (9)

Báo cáo Thị trường Bất động sản Việt Nam Quý 3.2015
Báo cáo Thị trường Bất động sản Việt Nam Quý 3.2015Báo cáo Thị trường Bất động sản Việt Nam Quý 3.2015
Báo cáo Thị trường Bất động sản Việt Nam Quý 3.2015
Trang Le
Dayana mendez Linea del timpohistoria del computador Dayana mendez Linea del timpohistoria del computador
Dayana mendez Linea del timpohistoria del computador
Brenda Dayana Mendez Peña
Work Experience Report
Work Experience ReportWork Experience Report
Work Experience Report
Harry Pottinger
Ch04
Ch04Ch04
Ch04
Kodok Ngorex
Diseño web: del concepto al resultado. Ricardo Tayar en SEonthebeach 2013Diseño web: del concepto al resultado. Ricardo Tayar en SEonthebeach 2013
Diseño web: del concepto al resultado. Ricardo Tayar en SEonthebeach 2013
Ricardo Tayar López
หลักการแก้สมการเกี่ยวกับ๶ลྺยกกำลัง
หลักการแก้สมการเกี่ยวกับ๶ลྺยกกำลังหลักการแก้สมการเกี่ยวกับ๶ลྺยกกำลัง
หลักการแก้สมการเกี่ยวกับ๶ลྺยกกำลัง
kroojaja
การบวกและการลบพหุนาม
การบวกและการลบพหุนามการบวกและการลบพหุนาม
การบวกและการลบพหุนาม
kroojaja
แบบฝึกทักษะ การคูณพหุนาม
แบบฝึกทักษะ  การคูณพหุนามแบบฝึกทักษะ  การคูณพหุนาม
แบบฝึกทักษะ การคูณพหุนาม
bestamath
Branding & advertisement
Branding & advertisementBranding & advertisement
Branding & advertisement
Abdullah Saeed
Báo cáo Thị trường Bất động sản Việt Nam Quý 3.2015
Báo cáo Thị trường Bất động sản Việt Nam Quý 3.2015Báo cáo Thị trường Bất động sản Việt Nam Quý 3.2015
Báo cáo Thị trường Bất động sản Việt Nam Quý 3.2015
Trang Le
Dayana mendez Linea del timpohistoria del computador Dayana mendez Linea del timpohistoria del computador
Dayana mendez Linea del timpohistoria del computador
Brenda Dayana Mendez Peña
Diseño web: del concepto al resultado. Ricardo Tayar en SEonthebeach 2013Diseño web: del concepto al resultado. Ricardo Tayar en SEonthebeach 2013
Diseño web: del concepto al resultado. Ricardo Tayar en SEonthebeach 2013
Ricardo Tayar López
หลักการแก้สมการเกี่ยวกับ๶ลྺยกกำลัง
หลักการแก้สมการเกี่ยวกับ๶ลྺยกกำลังหลักการแก้สมการเกี่ยวกับ๶ลྺยกกำลัง
หลักการแก้สมการเกี่ยวกับ๶ลྺยกกำลัง
kroojaja
การบวกและการลบพหุนาม
การบวกและการลบพหุนามการบวกและการลบพหุนาม
การบวกและการลบพหุนาม
kroojaja
แบบฝึกทักษะ การคูณพหุนาม
แบบฝึกทักษะ  การคูณพหุนามแบบฝึกทักษะ  การคูณพหุนาม
แบบฝึกทักษะ การคูณพหุนาม
bestamath

More from aleksashka3 (19)

КР Решение логических задач. логические основы построения пк
КР Решение логических задач. логические основы построения пкКР Решение логических задач. логические основы построения пк
КР Решение логических задач. логические основы построения пк
aleksashka3
Структурные формулы и функциональные схемы
Структурные формулы и функциональные схемыСтруктурные формулы и функциональные схемы
Структурные формулы и функциональные схемы
aleksashka3
Логические основы построения эвм
Логические основы построения эвмЛогические основы построения эвм
Логические основы построения эвм
aleksashka3
Кванторы. Квантор всеобщности. Квантор существования.Равносильные формулы лог...
Кванторы. Квантор всеобщности. Квантор существования.Равносильные формулы лог...Кванторы. Квантор всеобщности. Квантор существования.Равносильные формулы лог...
Кванторы. Квантор всеобщности. Квантор существования.Равносильные формулы лог...
aleksashka3
Понятие предиката. Логические операции над предикатами
Понятие предиката. Логические операции над предикатамиПонятие предиката. Логические операции над предикатами
Понятие предиката. Логические операции над предикатами
aleksashka3
Конспект. Решение логических задач
Конспект. Решение логических задачКонспект. Решение логических задач
Конспект. Решение логических задач
aleksashka3
Решение логических задач. Опорный конспект
Решение логических задач. Опорный конспектРешение логических задач. Опорный конспект
Решение логических задач. Опорный конспект
aleksashka3
КР Истинность высказываний. Тавтологии. Эквивалентности
КР Истинность высказываний. Тавтологии. ЭквивалентностиКР Истинность высказываний. Тавтологии. Эквивалентности
КР Истинность высказываний. Тавтологии. Эквивалентности
aleksashka3
4. Законы логики. Упрощение формул
4. Законы логики. Упрощение формул4. Законы логики. Упрощение формул
4. Законы логики. Упрощение формул
aleksashka3
3. Составление таблиц истинности. Законы де моргана
3. Составление таблиц истинности. Законы де моргана3. Составление таблиц истинности. Законы де моргана
3. Составление таблиц истинности. Законы де моргана
aleksashka3
2. Таблицы истинности. Эквивалентные высказывания
2. Таблицы истинности. Эквивалентные высказывания2. Таблицы истинности. Эквивалентные высказывания
2. Таблицы истинности. Эквивалентные высказывания
aleksashka3
1. Алгебра высказываний. Основные операции алгебры высказываний
1. Алгебра высказываний. Основные операции алгебры высказываний1. Алгебра высказываний. Основные операции алгебры высказываний
1. Алгебра высказываний. Основные операции алгебры высказываний
aleksashka3
Таблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказыванияТаблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказывания
aleksashka3
Построение таблиц истинности
Построение таблиц истинностиПостроение таблиц истинности
Построение таблиц истинности
aleksashka3
Алгебра логики
Алгебра логикиАлгебра логики
Алгебра логики
aleksashka3
Логика как наука
Логика как наукаЛогика как наука
Логика как наука
aleksashka3
Урок 1. Создание таблиц базы данных
Урок 1. Создание таблиц базы данныхУрок 1. Создание таблиц базы данных
Урок 1. Создание таблиц базы данных
aleksashka3
Учебное пособие по Ms Excel
Учебное пособие по Ms ExcelУчебное пособие по Ms Excel
Учебное пособие по Ms Excel
aleksashka3
Правила работы и ТБ в КИВТ
Правила работы и ТБ в КИВТПравила работы и ТБ в КИВТ
Правила работы и ТБ в КИВТ
aleksashka3
КР Решение логических задач. логические основы построения пк
КР Решение логических задач. логические основы построения пкКР Решение логических задач. логические основы построения пк
КР Решение логических задач. логические основы построения пк
aleksashka3
Структурные формулы и функциональные схемы
Структурные формулы и функциональные схемыСтруктурные формулы и функциональные схемы
Структурные формулы и функциональные схемы
aleksashka3
Логические основы построения эвм
Логические основы построения эвмЛогические основы построения эвм
Логические основы построения эвм
aleksashka3
Кванторы. Квантор всеобщности. Квантор существования.Равносильные формулы лог...
Кванторы. Квантор всеобщности. Квантор существования.Равносильные формулы лог...Кванторы. Квантор всеобщности. Квантор существования.Равносильные формулы лог...
Кванторы. Квантор всеобщности. Квантор существования.Равносильные формулы лог...
aleksashka3
Понятие предиката. Логические операции над предикатами
Понятие предиката. Логические операции над предикатамиПонятие предиката. Логические операции над предикатами
Понятие предиката. Логические операции над предикатами
aleksashka3
Конспект. Решение логических задач
Конспект. Решение логических задачКонспект. Решение логических задач
Конспект. Решение логических задач
aleksashka3
Решение логических задач. Опорный конспект
Решение логических задач. Опорный конспектРешение логических задач. Опорный конспект
Решение логических задач. Опорный конспект
aleksashka3
КР Истинность высказываний. Тавтологии. Эквивалентности
КР Истинность высказываний. Тавтологии. ЭквивалентностиКР Истинность высказываний. Тавтологии. Эквивалентности
КР Истинность высказываний. Тавтологии. Эквивалентности
aleksashka3
4. Законы логики. Упрощение формул
4. Законы логики. Упрощение формул4. Законы логики. Упрощение формул
4. Законы логики. Упрощение формул
aleksashka3
3. Составление таблиц истинности. Законы де моргана
3. Составление таблиц истинности. Законы де моргана3. Составление таблиц истинности. Законы де моргана
3. Составление таблиц истинности. Законы де моргана
aleksashka3
2. Таблицы истинности. Эквивалентные высказывания
2. Таблицы истинности. Эквивалентные высказывания2. Таблицы истинности. Эквивалентные высказывания
2. Таблицы истинности. Эквивалентные высказывания
aleksashka3
1. Алгебра высказываний. Основные операции алгебры высказываний
1. Алгебра высказываний. Основные операции алгебры высказываний1. Алгебра высказываний. Основные операции алгебры высказываний
1. Алгебра высказываний. Основные операции алгебры высказываний
aleksashka3
Таблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказыванияТаблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказывания
aleksashka3
Построение таблиц истинности
Построение таблиц истинностиПостроение таблиц истинности
Построение таблиц истинности
aleksashka3
Алгебра логики
Алгебра логикиАлгебра логики
Алгебра логики
aleksashka3
Логика как наука
Логика как наукаЛогика как наука
Логика как наука
aleksashka3
Урок 1. Создание таблиц базы данных
Урок 1. Создание таблиц базы данныхУрок 1. Создание таблиц базы данных
Урок 1. Создание таблиц базы данных
aleksashka3
Учебное пособие по Ms Excel
Учебное пособие по Ms ExcelУчебное пособие по Ms Excel
Учебное пособие по Ms Excel
aleksashka3
Правила работы и ТБ в КИВТ
Правила работы и ТБ в КИВТПравила работы и ТБ в КИВТ
Правила работы и ТБ в КИВТ
aleksashka3

Решение логических задач №3

  • 2. page 204/01/16 Presentation Задача №12 Один из 3 братьев поставил на скатерть кляксу. - Кто запачкал скатерть? - спросила бабушка. - Витя не ставил кляксу, - сказал Алеша, - Это сделал Боря. - Ну а ты что скажешь? - спросила бабушка Борю. - Это Витя поставил кляксу,- сказал Боря,- А Алеша не пачкал скатерть. - Так я и знала, что вы друг на друга сваливать будете, - рассердилась бабушка. - Ну а каков твой ответ? - спросила она Витю. - Не сердись бабуля! Я знаю, что Боря не мог этого сделать. А я сегодня не готовил уроков. - сказал Витя. Оказалось, что двое мальчиков в каждом из двух своих заявлений сказали правду, а один оба раза сказал неправду. Кто поставил на скатерть кляксу? 33группагруппазадачзадач
  • 3. page 304/01/16 Presentation Задача №12 (решение) Введем буквенные обозначения: V-Витя, B-Боря, A-Алеша. Высказывание каждого мальчика о том, кто поставил кляксу можно задать формулами: (1) (2) По условию задачи, двое мальчиков оба раза сказали правду, а 1 мальчик оба раза сказал неправду. Поэтому среди записанных нами 3 формул две истинны, а одна ложна. Мы не знаем, какая именно формула ложна. Но мы утверждаем, что если из этих формул образовать попарные дизъюнкции, то поскольку в каждую дизъюнкцию будут входит по крайней мере одна истинная формула, эти дизъюнкции будут истинными. Образуем их. (4) (5) Ответ: , кляксу поставил Витя. 1≡⋅ BV 1≡⋅ AV 1≡B (3) 1≡⋅+⋅ AVBV 1≡+⋅ BAV 1≡+⋅ BBV (6) BAV ⋅⋅
  • 4. page 404/01/16 Presentation Задача №15. В одном королевстве были незамужние принцессы, голодные тигры к приговоренный к казни узник. Но король всякому узнику, осужденному на смерть, давал последний шанс спастись. Ему предлагалось угадать, в какой из двух комнат находится тигр, а в какой принцесса. Хотя вполне могло быть, что король в обеих комнатах разместил принцесс или, что хуже, в обеих тигров. Выбор надо было сделать на основании табличек на дверях комнат. Причем, узнику было известно, что утверждения на табличках либо оба истинны, либо оба ложны. Надписи гласили: Первая комната: «По крайней мере в одной из этих комнат находится принцесса». Вторая комната: «Тигр в другой комнате». 33группагруппазадачзадач
  • 5. page 504/01/16 Presentation Табличный способ решения логической задачи
  • 6. page 604/01/16 Presentation http://www.infojournal.ru "Информатика в школе": 5/2005 - "Сборник программ элективных курсов по информатике" 6/2005 - "Логические задачи как форма контроля знаний" 7/2005 - "Программирование игр на уроках информатики" 8/2005 - "Информатика в начальной школе"
  • 7. page 604/01/16 Presentation http://www.infojournal.ru "Информатика в школе": 5/2005 - "Сборник программ элективных курсов по информатике" 6/2005 - "Логические задачи как форма контроля знаний" 7/2005 - "Программирование игр на уроках информатики" 8/2005 - "Информатика в начальной школе"