логики
Обычно используется следующая схема решения:
1. изучается условие задачи;
2. вводится система обозначений для логических высказываний;
3. конструируется логическая формула, описывающая логические связи между всеми высказываниями условия задачи;
4. определяются значения истинности этой логической формулы;
5. из полученных значений истинности формулы определяются значения истинности введенных логических высказываний, на основании которых делается заключение о решении.
Задача 3. Виновник ночного дорожно-транспортного происшествия скрылся с места аварии. Первый из опрошенных свидетелей сказал работникам ГИБДД, что это были "Жигули", первая цифра номера машины - единица. Второй свидетель сказал, что машина была марки "Москвич", а номер начинался с семерки. Третий свидетель заявил, что машина была иностранная, номер начинался не с единицы. При дальнейшем расследовании выяснилось, что каждый из свидетелей правильно указал либо только марку машины, либо только первую цифру номера. Какой марки была машина и с какой цифры начинался номер?
Решение.
Введем обозначения для логических высказываний: Ж - это "Жигули"; М - это "Москвич"; И - это иностранная машина; Е - номер машины начинается с единицы; С - номер машины начинается с семерки.
Запишем высказывания свидетелей в наших обозначениях:
Из того факта, что каждый из свидетелей правильно указал либо только марку машины, либо только первую цифру номера, получаем три истинных составных высказывания:
Если все эти истинные высказывания логически перемножить, то получим следующее истинное логическое высказывание:
Для решения задачи нужно определить, при каких значениях логических переменных Ж, М, И, Е, С это высказ
Страницы: << < 3 | 4 | 5 | 6 | 7 > >>