Решение логических задач(табличный способ). презентация

Запишем на языке алгебры логики факты, установленные следствием:

Пусть

(1)

сложное высказывание истинно, и если хотя бы в одном случае (при разных B и C ) F=1 A=0 (Иванов не виновен ), то у следствия недостаточно фактов для того,чтобы обвинять Иванова в преступлении.

когда A-истинно, т.е. Иванов виновен в ограблении.

1
FOR C=0 TO 1
F=((NOT (A) OR B) IMP C) AND (NOT (A) IMP NOT ( C))
Print A; B; C: F
NEXT C,B,A
END
(NOT-не, AND- и, OR- или, XOR- исключающее или, EQV- эквивалентность, IMP- импликация)

на ЭВМ

шеф. Поступили сообщения от инспекторов. Тарранс установил, что если Франсуа был пьян, то либо Этьен убийца, либо Франсуа лжет. Жуссье считает, что или Этьен убийца, или Франсуа не был пьян и убийство произошло после полуночи. Инспектор Люка просил передать вам, что если убийство произошло после полуночи, то либо Этьен убийца, либо Франсуа лжет. Затем звонила…
-Все. Спасибо. Этого достаточно.- Комиссар положил трубку. Он знал, что трезвый Франсуа никогда не лжет. Теперь он знал все.

место},
S2={Сергей занял второе место},
V3={Виктор занял третье место},
L2={Леонид занял второе место},
V4={Виктор занял четвертое место}.

высказываний истинна. Следовательно, имеет место равенство:
(S1+R2) (S2+V3) (L2+V4)=1
Преобразуем левую часть этого равенства:

банка. Похитители скрылись на поджидавшем их автомобиле. На следствии Браун показал, что преступники скрылись на синем “Бьюике”,Джонс сказал, что это был черный “Крайслер”, а Смит утверждает, что это был “Форд Мустанг” и ни в коем случае не синий.Стало известно, что, желая запутать следствие, каждый из них указал правильно либо марку машины, либо только ее цвет. Какого цвета был автомобиль.

марки “Форд Мустанг”}
Т.к. либо цвет, либо марка машины каждый из соучастников названа верно, то из их слов можно заключить, что: