Назад
Определим следующие простые высказывания:
А - "А играет в шахматы";
В - "В играет в шахматы";
С - "С играет в шахматы";
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 - не играют.

Во многих задачах, связанных с обработкой данных, приходится упрощать логические выражения. Приведем пример, демонстрирующий технику упрощения логических формул.

Назад
Хостинг от uCoz