Логика

[Snusmumrik]

Помогите пожалуйста с задачкой: до завтра нужно решить, а у меня уже сил нет(

Поступили сообщения от инспекторов. Торранс установил, что если Франсуа был пьян, то либо Этьен убийца, либо Франсуа лжет. Жуссье считает, что или Этьен убийца, или Франсуа не был пьян и убийство произошло после полуночи. Инспектор Люка попросил передать вам, что если убийство произошло после полуночи, то либо Этьен убийца, либо Франсуа лжет.
Точно известно, что трезвый Франсуа никогда не лжет.
Рассмотрите следующие высказывания:
А={Франсуа был пьян}
В={Этьен убийца}
C={Франсуа лжет}
D={убийство произошло после полуночи}

Используя логические операции записать высказывания инспекторов, составить их произведение и упростить его. Сделать вывод

[Утундрий]

Ух ты, кто-то еще помнит "Пособие по математике для поступающих в вузы" 1988-го года издания )))

[Brukvalub]

Давайте я начну, а Вы - продолжите.
Итак, Торранс установил, что:

\[ A \Rightarrow (B \vee C) \]

Теперь Ваш ход.

[luitzen]

Brukvalub писал(а):

Давайте я начну, а Вы - продолжите.
Итак, Торранс установил, что:

\[ A \Rightarrow (B \vee C) \]

Теперь Ваш ход.

Блин, вот это «либо… либо…» из условия задачи заставляет заподозрить, что имеется в виду исключающее «или».

Но интуиция Brukvalub в очередной раз не подвела его: при неисключающем «или» всё упрощается гораздо проще.