Отправляет email-рассылки с помощью сервиса Sendsay

Дистанционное обучение

  Все выпуски  

уроки и методика преподавания информатики для учителей www.thl.narod.ru


Решение логических задач Для решения многих логических задач необходимо: 1) выделить элементарные (простые) высказывания и обозначить их буквами; 2) записать условие задачи на языке алгебры логики, соединив простые высказывания в сложные с помощью логических операций; 3) составить единое логическое выражение для всех требований задачи; 4) используя законы алгебры логики попытаться упростить полученное выражение и вычислить все его значения либо построить таблицу истинности для рассматриваемого выражения; 5) выбрать решение — набор значений простых высказываний, при котором логическое выражение является истинным; 6) проверить, удовлетворяет ли полученное решение условию задачи. Еще один способ решения логических задач заключается в том, чтобы по условию задачи составить таблицу истинности. Анализ полученной таблицы истинности зачастую позволяет получить требуемый результат. Пример 3.9. Компьютер вышел из строя (нет изображения на экране монитора), однако неизвестно какое устройство не работает (монитор, видеокарта или оперативная память). Можно предположить следующее: 1) Если монитор исправен или видеокарта неисправна, то оперативная память неисправна; 2) Если монитор исправен, то оперативная память исправна. Исправен ли монитор? 1. Рассмотрим простые высказывания: А = {Монитор неисправен}, В = { Видеокарта неисправна}, С = { Оперативная память неисправна}. 2. Запишем на языке алгебры логики наши предположения: ( ÚВ)ÞС и Þ . 3. Пусть F(A, B, C) = (( ÚВ)ÞС )&( Þ ). 4. Составим для данного высказывания таблицу истинности: A B C ÚВ ( ÚВ)ÞС Þ F 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 5. Решить данную задачу — значит указать, при каких значениях А полученное сложное высказывание истинно. Необходимо проанализировать все строки таблицы истинности, где F = 1. Анализ таблицы показывает, что сложное высказывание истинно во всех случаях, когда А — истинно, т. е. вероятнее всего неисправен именно монитор. Задачи для самостоятельного решения. 3.34. Известно, что имеющиеся на каждой из двух шкатулок надписи либо истинны, либо ложны. Если надпись на первой шкатулке — "Изумруда в другой шкатулке нет", а на второй шкатулке — "В той шкатулке изумруд есть, а в этой — нет", то, что можно утверждать о месте нахождения изумруда. 3.35. Виктор, Роман, Леонид и Сергей заняли на математической олимпиаде четыре первых места. Когда их спросили о распределении мест, они дали три таких ответа: 1) Сергей — первый, Роман — второй; 2) Сергей — второй, Виктор — третий; 3) Леонид — второй, Виктор — четвертый. Известно, что в каждом ответе только одно утверждение истинно. Как распределились места?

В избранное