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

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

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