Условие задачи
Формализовать представленное рассуждение в виде формул алгебры логики:
Если Джонс не встречал этой ночью Смита, то либо Смит был убийцей, либо Джонс лжет. Если Смит не был убийцей, то Джонс не встречал его этой ночью и убийство имело место после полуночи. Если убийство имело место после полуночи, то либо Смит был убийцей, либо Джонс не лжет. Следовательно, Смит был убийцей.
Ответ
Введем буквенные обозначения для атомарных высказываний:
A: Джонс не встречал этой ночью Смита;
B: Смит был убийцей;
C: ...