Question

Используя логические операции, запишите высказывания инспекторов. Составьте произведение этих высказываний и упростите его. Какой вывод сделал комиссар Мегрэ?

– Говорит Мегрэ. Есть новости?
– Да, шеф. Поступили сообщения от инспекторов. Торранс установил, что если Франсуа был пьян, то либо Этьен убийца, либо Франсуа лжёт. Жуссье считает, что или Этьен убийца, или Франсуа не был пьян и убийство произошло после полуночи. Инспектор Люка попросил передать Вам, что если убийство произошло после полуночи, то либо Этьен убийца, либо Франсуа лжёт. Затем звонила …
– Всё, спасибо. Этого достаточно. – Комиссар положил трубку. Он знал, что трезвый Франсуа никогда не лжёт. Теперь он знал всё.»
Рассмотрите следующие высказывания:
A={Франсуа был пьян};
B= {Этьен убийца};
C = {Франсуа лжёт};
D= {убийство произошло после полуночи}.

Answer 1

Этьен убийца.

Э - Этьен убийца (э - нет)
Ф - Франсуа трезв (ф - пьян)
П - псоле полууночи ( п - до)
Л - Франсуа лжет (л - нет)
Фл = 1

Т : Э U ФП = Э U ФП (Л U л) = Э U П = 1
Л : П => (Э U Л) = п U Э U Л = 1

Верно при Э = 1