Браун -                             Джонс виновен (Д), Смит невиновен (С).  Д ˄ С  - истинно.

Джонс -                          Если Браун виновен (Б), то виновен и Смит (С). Б → С - истинно.

Смит -                             Смит невиновен (С), но виновен Браун (Б) или Джонс (Д).  С ˄ Б ˅ Д - истинно.

Вывод - Джонс виновен, Смит невиновен, Браун невиновен.

Из показаний Джонса следует

Если Смит невиновен, то Браун невиновен.

Из показаний Смита следует

Смит невиновен.

Значит, Браун невиновен.

Из показаний Смита также следует, что виновны Браун или Джонс.

Но Браун невиновен.

Значит, Джонс виновен.

Вывод - Джонс виновен, Смит невиновен, Браун невиновен.