![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Задача «Кто виноват?». По обвинению в ограблении перед судом предстали Иванов, Петров, Сидоров. Следствием установлено:
1) если Иванов не виновен или Петров виновен, то Сидоров виновен;
2) если Иванов не виновен, то Сидоров не виновен.
Вопрос - виновен ли Иванов?
Решение. Рассмотрим простые высказывания:
А = «Иванов виновен», В = «Петров виновен», С = «Сидоров виновен».
Запишем на языке алгебры логики факты, установленные следствием:
Обозначим — единое логическое выражение для всех требований задачи. Оно истинно. Составим для него таблицу истинности:
А | В | С | F |
Решить данную задачу — значит указать, при каких значениях А полученное сложное высказывание F истинно. Для этого необходимо проанализировать все строки таблицы истинности, где F = 1. И если хотя бы в одном из таких случаев А = 0 (Иванов не виновен), то у следствия недостаточно фактов для того, чтобы обвинить Иванова в преступлении.
Анализ таблицы показывает, что высказывание F истинно только в тех случаях, когда А истинно, т. е. Иванов в ограблении виновен.
Иногда, для того чтобы решить задачу, нет необходимости составлять единое логическое выражение, удовлетворяющее всем условиям задачи, достаточно построить таблицу истинности, отражающую каждое условие задачи, и проанализировать ее.
При использовании этого способа условия, которые содержит задача, и результаты рассуждений фиксируются с помощью специально составленных таблиц.
Задача «Симфонический оркестр». В симфонический оркестр приняли на работу трёх музыкантов: Брауна, Смита и Вессона, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе. Известно, что:
1. Смит самый высокий.
2. Играющий на скрипке меньше ростом играющего на флейте.
3. Играющие на скрипке и флейте и Браун любят пиццу.
4. Когда между альтистом и трубачом возникает ссора, Смит мирит их.
5. Браун не умеет играть ни на трубе, ни на гобое.
На каких инструментах играет каждый из музыкантов, если каждый владеет двумя инструментами?
Решение. Составим таблицу и отразим в ней условия задачи, заполнив соответствующие клетки цифрами 0 и 1 в зависимости от того, ложно или истинно соответствующее высказывание.
Так как музыкантов трое, инструментов шесть и каждый владеет только двумя инструментами, получается, что каждый музыкант играет на инструментах, которыми остальные не владеют.
Из условия 4 следует, что Смит не играет ни на альте, ни на трубе, а из условий 3 и 5, что Браун не умеет играть на скрипке, флейте, трубе и гобое. Следовательно, инструменты Брауна — альт и кларнет. Занесем это в таблицу, а оставшиеся клетки столбцов "альт" и "кларнет" заполним нулями:
Скрипка | Флейта | Альт | Кларнет | Гобой | Труба | |
Браун | ||||||
Смит | ||||||
Вессон |
Из таблицы видно, что на трубе может играть только Вессон.
Из условий 1 и 2 следует, что Смит не скрипач. Так как на скрипке не играет ни Браун, ни Смит, то скрипачом является Вессон. Оба инструмента, на которых играет Вессон, теперь определены, поэтому остальные клетки строки "Вессон" можно заполнить нулями:
Скрипка | Флейта | Альт | Кларнет | Гобой | Труба | |
Браун | ||||||
Смит | ||||||
Вессон |
Из таблицы видно, что играть на флейте и на гобое может только Смит.
Скрипка | Флейта | Альт | Кларнет | Гобой | Труба | |
Браун | ||||||
Смит | ||||||
Вессон |
Ответ: Браун играет на альте и кларнете, Смит — на флейте и гобое, Вессон — на скрипке и трубе.
Дата публикования: 2014-11-28; Прочитано: 1453 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!