Решение логических задач средствами алгебры логики
Изучается условие задач;
Вводится система обозначений для логических высказываний;
Конструируется логическая формула, описывающая логические связи между всеми высказываниями условия задачи;
Определяются значения истинности этой логической формулы;
Из полученных значений истинности формулы определяются значения истинности введённых логических высказываний, на основании которых делается заключение о решении.
Пример:
Трое друзей, болельщиков автогонок «Формула -1», спорили о результатах предстоящего этапа гонок.
Вот увидишь, Шумахер не придёт первым, - сказал Джон. – Первым будет Хилл.
Да нет же, победителем будет, как всегда Шумахер, - воскликнул Ник. – А об Алези и говорить нечего, ему не быть первым.
Питер, к которому обратился Ник, возмутился:
Хиллу не видать первого места, а вот Алези пилотирует самую мощную машину.
По завершению этапа гонок оказалось, что каждое из двух предположений двоих друзей подтвердилось, а оба предположения третьего из друзей оказались неверны. Кто выиграл этап гонки?
3. Конструируем логическую формулу:
(Ш&¬Х)&(Ш&¬А)&¬Х v (¬Ш&Х)&(¬Ш&А)&¬Х v (¬Ш&Х)&(Ш&¬А)&¬¬Х=
=(Ш&¬Х&Ш&¬А&¬Х) v (¬Ш&Х&¬Ш&А&¬Х) v (¬Ш&Х&Ш&¬А&¬¬Х)=
=(Ш&¬А&¬Х) v (¬Ш&А&0) v (0&¬А&Х)=
=(Ш&¬А&¬Х)
Решение:
Решение задач табличным способом
В симфонический оркестр приняли на работу трёх музыкантов: Бориса, Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.
Решение задач табличным способом
В симфонический оркестр приняли на работу трёх музыкантов: Бориса, Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.
скрипка | флейта | альт | кларнет | гобой | труба | |
Борис | ||||||
Сергей | ||||||
Василий |
Решение задач табличным способом
В симфонический оркестр приняли на работу трёх музыкантов: Бориса, Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.
скрипка | флейта | альт | кларнет | гобой | труба | |
Борис | 0 | |||||
Сергей | ||||||
Василий |
Решение задач табличным способом
В симфонический оркестр приняли на работу трёх музыкантов: Бориса, Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.
скрипка | флейта | альт | кларнет | гобой | труба | |
Борис | 0 | 0 | ||||
Сергей | ||||||
Василий |
Решение задач табличным способом
В симфонический оркестр приняли на работу трёх музыкантов: Бориса, Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.
скрипка | флейта | альт | кларнет | гобой | труба | |
Борис | 0 | 1 | 0 | |||
Сергей | ||||||
Василий |
Решение задач табличным способом
В симфонический оркестр приняли на работу трёх музыкантов: Бориса, Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.
скрипка | флейта | альт | кларнет | гобой | труба | |
Борис | 0 | 1 | 0 | |||
Сергей | 0 | 0 | ||||
Василий |
Решение задач табличным способом
В симфонический оркестр приняли на работу трёх музыкантов: Бориса, Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.
скрипка | флейта | альт | кларнет | гобой | труба | |
Борис | 0 | 1 | 0 | |||
Сергей | 0 | 0 | ||||
Василий |
Решение задач табличным способом
В симфонический оркестр приняли на работу трёх музыкантов: Бориса, Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.
скрипка | флейта | альт | кларнет | гобой | труба | |
Борис | 0 | 1 | 0 | |||
Сергей | 0 | 0 | ||||
Василий | 1 |
Решение задач табличным способом
В симфонический оркестр приняли на работу трёх музыкантов: Бориса, Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.
скрипка | флейта | альт | кларнет | гобой | труба | |
Борис | 0 | 1 | 0 | |||
Сергей | 0 | 0 | ||||
Василий | 1 | 0 | 1 |
Решение задач табличным способом
В симфонический оркестр приняли на работу трёх музыкантов: Бориса, Сергея и Василия, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:
Сергей самый высокий;
Играющий на скрипке меньше ростом играющего на флейте;
Играющие на скрипе и флейте и Борис любят пиццу;
Когда между альтистом и трубачом возникает ссора, Сергей их мирит;
Борис не умеет играть ни на трубе , ни на гобое.
скрипка | флейта | альт | кларнет | гобой | труба | |
Борис | 0 | 1 | 0 | |||
Сергей | 1 | 0 | 1 | 0 | ||
Василий | 1 | 0 | 1 |
Решение логических задач с помощью рассуждений
Вадим, Сергей и Михаил изучают различные иностранные языки: китайский, японский и арабский. На вопрос, какой язык изучает каждый из них, один ответил: «Вадим изучает китайский, Сергей не изучает китайский, а Михаил не изучает арабский». Впоследствии выяснилось, что в этом ответе только одно утверждение верно, а два других ложны. Какой язык изучает каждый из молодых людей?
Задания для самостоятельного решения:
В школе-новостройке в каждой из двух аудиторий может находится либо кабинет информатики, либо кабинет физики. На дверях аудитории повесили шутливые таблички. На первой повесили табличку: «По крайней мере в одной из этих аудиторий размещается кабинет информатики», а на второй аудитории – табличку с надписью «Кабинет физики находится в другой аудитории». Проверяющему, который пришёл в школу, известно только, что надписи на табличках либо обе истинны, либо обе ложны. Помогите проверяющему найти кабинет информатики.
Три друга — Алеша, Боря и Витя — учатся в одном классе. Один из них ездит в школу на трамвае, другой — на троллейбусе, а третий — на автобусе. Однажды после уроков Алеша пошел провожать своего друга до остановки автобуса. Когда мимо них проходил троллейбус, третий друг крикнул из окна: «Боря, ты забыл в школе тетрадку!» Кто на чем ездит домой?
Микула Селянович узнал, что Змей Горыныч побеждён. Победить его мог либо Илья Муромец, либо Алёша Попович, либо Добрыня Никитич. Вскоре Микуле Селяновичу сообщили, что:
Змея Горыныча победил не Илья Муромец;
Змея Горыныча победил Алёша Попович.
Спустя некоторое время оказалось, что одно из этих сообщений ложно. Кто же победил Змея?
© ООО «Знанио»
С вами с 2009 года.