Question

Алгебра логики,помогите пожалуйста

Если Джон не встречал этой ночью Смита, то Смит был убийцей или Джон лжёт.Если Смит не был убийцей,то Джон не встречал этой ночью Смита,и убийство произошло после полуночи.Если убийство произошло после полуночи,то Смит был убийцей или Джон лжёт.Эксперты установили,что убийство произошло до полуночи. Можно ли утверждать,что Смит был убийцей?

Answer 1

Ответ:

x = "Джонс встретил ночью Смита"

y = "Смит был убийцей"

z = "Джонс лжет"

t = "убийство имело место после полуночи"

Тогда умозаключение может быть записано формулой:

[¬x→(y∨z)]∧[¬y→(¬x∧t)]∧[t→(y∨z)]→y, при x = 0, y = 0, z = 1, t = 1 формула принимает ложное значение.