А Г Л М
Запишем утверждения свидетелей в виде списка из 4 элементов, * - означает остальные
1) {А,М,*,*}
2) {*,Г,*,Л}
3) {*,А,Л,*}
Пусть 1) истиннен для А
1) {А,*,*,*}
3) {*,*,Л,*}
2) {*,Г,*,*}
Ответ АГЛМ
Пусть 1) истиннен для М
1) {*,М,*,*}
3) {*,*,Л,*}
2) не получается построить т.к ни одно утверждеие не истино, начальное утверждение не осуществимо.
Путь 2) истеннен для Г
2) {*,Г,*,*}
1) {А,*,*,*}
3) {*,*,Л,*}
получаем АГЛМ
уже двумя путями получен одинаковый ответ
Решение найдено: АГЛМ