Помогите с логикой, пожалуйста

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

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

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

Верно при Э = 1

Предыдущее решение -теорема Сосницкого. Вот правильное:
A = { Франсуа был пьян };
B = { Этьен убийца };
C = { Франсуа лжёт };
D = { убийство произошло после полуночи }.

Торранс установил, что если Франсуа был пьян, то либо Этьен убийца, либо Франсуа лжёт.
T = A -> (B + C)

Жуссье считает, что или Этьен убийца, или Франсуа не был пьян и убийство произошло после
полуночи.
J = B + /A * D

Инспектор Люка попросил передать Вам, что если убийство произошло после полуночи, то либо Этьен убийца,
либо Франсуа лжёт.
L = D -> (B + C)

Комиссар положил трубку. Он знал, что трезвый Франсуа никогда не лжёт. Теперь он знал всё.
M = /A -> /C

преобразуем импликации:
M = A + /C = 1 => /(A + /C) = /A * C = 0
T = /A + B + C
L = /D + B + C

Все инспекторы высказали истину:
T * J * L = 1

T * L = B + C + /A * /D
T * L * J = (B + C + /A * /D) * (B + /A * D) = B + (C + /A * /D) * /A * D = B + C * /A * D + /A * /D * /A * D = B = 1
т.к. C * /A = 0 и /D * D = 0
т.о. B = 1 : Этьен убийца