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

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