Назад Определим следующие простые высказывания: А - "А играет в шахматы"; В - "В играет в шахматы"; С - "С играет в шахматы"; D - "D играет в шахматы". Запишем сложные высказывания, выражающие известные факты: a) (A & B) -> !C; б) !B -> C & D; в) C. Запишем произведение (конъюнкцию) указанных сложных высказываний. Так как все они истинны, то и произведение тоже истинно: ((A v B) -> !C) & ( !B -> C & D) & C = T. Упростив эту формулу, получим !A & !B & C & D = T. Отсюда по свойствам конъюнкции получаем, A = F, B = F, C = T, D = T. Значит, в шахматы играют C и D, а A и B - не играют. Во многих задачах, связанных с обработкой данных, приходится упрощать логические выражения. Приведем пример, демонстрирующий технику упрощения логических формул. Назад |