Люди, кто знает, как это решать???помогите, срочно!!!

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