Выдержка из работы:
Определите, кто виновен в убийстве. Известно, что:
1) Если из виновности Смита вытекает виновность Джонса, то Браун виновен точно.
2) Если невиновен Браун, то виновен Смит или Джонс.
3) Если неверно, что Смит и Браун невиновны, то виновен Джонс.
Решение.
Задача решается с помощью таблицы истинности. Для этого переведем все три высказывания в символическую запись.
1) s – виновен Смит
d – виновен Джонс
b – виновен Браун
2) Если из виновности Смита вытекает виновность Джонса, то Браун виновен точно – (s d) b
3) Если невиновен Браун, то виновен Смит или Джонс - b (s \/ d)
4) Если неверно, что Смит и Браун невиновны, то виновен Джонс - ( s /\ b) d