Решение задачи о дорожном происшествии

Решение.

Введем обозначения для логических высказываний: Ж – это «Жигули»; М – это «Москвич»; И – это иностранная машина; Е – номер машины начинается с единицы; С – номер машины начинается с семерки.

Запишем высказывания свидетелей в наших обозначениях:

Из того факта, что каждый из свидетелей правильно указал либо только марку машины, либо только первую цифру номера, получаем три истинных составных высказывания:

Если все эти истинные высказывания логически перемножить, то получим следующее истинное логическое высказывание:

Для решения задачи нужно определить, при каких значениях логических переменных Ж, М, И, Е, С это высказывание истинно.

Упростим выражение, учитывая те обстоятельства, что машина не может быть одновременно и марки «Жигули», и марки «Москвич», и иностранного происхождения, а также то, что номер машины не может одновременно начинаться с единицы и с семерки:

При выводе мы также использовали закон противоречия и закон исключения констант .Высказывание  истинно только при Ж=1, М=0, И=0, Е=0, С=1. Таким образом, мы установили, что виновником дорожно-транспортного происшествия была машина марки «Жигули», номер которой начинался с цифры семь.

Ответ. Машина марки «Жигули», номер которой начинался с цифры семь.